diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2004-07-02 12:29:15 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2004-07-02 12:29:15 +0000 |
| commit | f1c73e0b76a46b6696103c40ff77085ac2368983 (patch) | |
| tree | e05f82fb1557f2d066d087e3a20c2bf80236f8e0 /manual/styles | |
| parent | d6ce3dcfc22e53e6155c93163820a0d959942702 (diff) | |
| download | ocaml-f1c73e0b76a46b6696103c40ff77085ac2368983.tar.gz | |
ajout doc syntax ocamldoc
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/ocamldoc.sty | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/manual/styles/ocamldoc.sty b/manual/styles/ocamldoc.sty index e01658b03a..b176c9b141 100644 --- a/manual/styles/ocamldoc.sty +++ b/manual/styles/ocamldoc.sty @@ -1,3 +1,4 @@ + %% Support macros for LaTeX documentation generated by ocamldoc. %% This file is in the public domain; do what you want with it. @@ -47,14 +48,28 @@ } \newenvironment{ocamldocdescription} -{\list{}{\rightmargin0pt \topsep0pt}\raggedright\item\relax} +{\list{}{\rightmargin0pt \topsep0pt}\raggedright\item\noindent\relax\ignorespaces} {\endlist\medskip} \newenvironment{ocamldoccomment} -{\list{}{\leftmargin 2\leftmargini \rightmargin0pt \topsep0pt}\raggedright\item\relax} +{\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 +\newenvironment{ocamldocindent}{\list{}{}\item\relax}{\endlist} +\newenvironment{ocamldocsigend} + {\noindent\quad\texttt{sig}\ocamldocindent} + {\endocamldocindent\vskip -\lastskip + \noindent\quad\texttt{end}\medskip} +\newenvironment{ocamldocobjectend} + {\noindent\quad\texttt{object}\ocamldocindent} + {\endocamldocindent\vskip -\lastskip + \noindent\quad\texttt{end}\medskip} +\endinput |
