diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2004-04-09 13:54:51 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2004-04-09 13:54:51 +0000 |
| commit | c6704ddfab4587b535e541e3f8e3c703f4642dba (patch) | |
| tree | f4f34c2dfecacb30016bc788a0e007491f7e2ded /ocamldoc/odoc_latex_style.ml | |
| parent | f8ae9668d9255f2e012150270b54248db2e662b0 (diff) | |
| download | ocaml-c6704ddfab4587b535e541e3f8e3c703f4642dba.tar.gz | |
fix: the generated ocamldoc.sty is more robust for paragraphs in
ocamldocdescription environment
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_latex_style.ml')
| -rw-r--r-- | ocamldoc/odoc_latex_style.ml | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/ocamldoc/odoc_latex_style.ml b/ocamldoc/odoc_latex_style.ml index 1e557f55f0..a5dc0bda00 100644 --- a/ocamldoc/odoc_latex_style.ml +++ b/ocamldoc/odoc_latex_style.ml @@ -62,13 +62,18 @@ let content =" \\let\\dospecials\\@new@specials } -\\newenvironment{ocamldocdescription} -{\\list{}{\\rightmargin0pt \\topsep0pt}\\raggedright\\item\\relax} -{\\endlist\\medskip} +\newenvironment{ocamldocdescription} +{\list{}{\rightmargin0pt \topsep0pt}\raggedright\item\noindent\relax} +{\endlist\medskip} -\\newenvironment{ocamldoccomment} -{\\list{}{\\leftmargin 2\\leftmargini \\rightmargin0pt \\topsep0pt}\\raggedright\\item\\relax} -{\\endlist} +\newenvironment{ocamldoccomment} +{\list{}{\leftmargin 2\leftmargini \rightmargin0pt \topsep0pt}\raggedright\item\noindent\relax} +{\endlist} + +\let \ocamldocparagraph \paragraph +\def \paragraph #1{\ocamldocparagraph {#1}\noindent} +\let \ocamldocsubparagraph \subparagraph +\def \subparagraph #1{\ocamldocsubparagraph {#1}\noindent} \\let\\ocamldocvspace\\vspace \\endinput |