diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2002-10-29 15:18:35 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2002-10-29 15:18:35 +0000 |
| commit | 1769482d12ce591a1814afe9a1706f3ce3e359a8 (patch) | |
| tree | 7ca909700d923728bad1d03036a413b8e2d76ab2 /manual/styles | |
| parent | 54e22ca74a2954d6800abb0588927971548291ed (diff) | |
| download | ocaml-1769482d12ce591a1814afe9a1706f3ce3e359a8.tar.gz | |
doc ocamllex
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/ocamldoc.hva | 2 | ||||
| -rw-r--r-- | manual/styles/ocamldoc.sty | 7 |
2 files changed, 6 insertions, 3 deletions
diff --git a/manual/styles/ocamldoc.hva b/manual/styles/ocamldoc.hva index c78417f365..338fd46ce2 100644 --- a/manual/styles/ocamldoc.hva +++ b/manual/styles/ocamldoc.hva @@ -6,5 +6,5 @@ \newcommand\textbackslash{\begin{rawhtml}\\end{rawhtml}} \newcommand\textasciicircum{\^{}} \newcommand\sharp{#} - +\let\ocamldocvspace\vspace diff --git a/manual/styles/ocamldoc.sty b/manual/styles/ocamldoc.sty index 008a7975bf..e01658b03a 100644 --- a/manual/styles/ocamldoc.sty +++ b/manual/styles/ocamldoc.sty @@ -11,8 +11,9 @@ \rightskip\z@skip \parindent\z@ \parfillskip\@flushglue - \parskip\z@skip - \noindent\@@par + \parskip\z@skip + %\noindent + \@@par\smallskip \@tempswafalse \def\par{% \if@tempswa @@ -53,5 +54,7 @@ {\list{}{\leftmargin 2\leftmargini \rightmargin0pt \topsep0pt}\raggedright\item\relax} {\endlist} +\let\ocamldocvspace\vspace \endinput + |