--- ocaml-3.10.2/ocamldoc/Makefile- 2008-03-28 02:20:41 +0300 +++ ocaml-3.10.2/ocamldoc/Makefile 2008-03-28 02:36:44 +0300 @@ -329,6 +329,17 @@ autotest_stdlib: dummy ../otherlibs/unix/unix.mli \ ../otherlibs/str/str.mli +stdlib.tex: ../stdlib/*.mli \ + ../otherlibs/unix/unix.mli \ + ../otherlibs/str/str.mli \ + ../otherlibs/bigarray/bigarray.mli \ + ../otherlibs/num/num.mli + $(OCAMLDOC_RUN) -latex $(INCLUDES) -t "OCaml library" -o $@ $^ + +stdlib.pdf: stdlib.tex + pdflatex stdlib.tex + pdflatex stdlib.tex + # backup, clean and depend : ############################ --- ocaml-3.10.2/ocamldoc/ocamldoc.sty- 2008-03-28 02:20:41 +0300 +++ ocaml-3.10.2/ocamldoc/ocamldoc.sty 2008-03-28 02:20:42 +0300 @@ -47,14 +47,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