summaryrefslogtreecommitdiff
path: root/manual/styles
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2004-07-02 12:29:15 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2004-07-02 12:29:15 +0000
commitf1c73e0b76a46b6696103c40ff77085ac2368983 (patch)
treee05f82fb1557f2d066d087e3a20c2bf80236f8e0 /manual/styles
parentd6ce3dcfc22e53e6155c93163820a0d959942702 (diff)
downloadocaml-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.sty21
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