diff -ur ocaml-3.12.1.orig/ocamldoc/Makefile ocaml-3.12.1/ocamldoc/Makefile

--- ocaml-3.12.1.orig/ocamldoc/Makefile	2011-12-19 15:05:56.000000000 +0400

+++ ocaml-3.12.1/ocamldoc/Makefile	2011-12-19 16:23:51.093576008 +0400

@@ -329,6 +329,17 @@

 	../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 :

 ############################

diff -ur ocaml-3.12.1.orig/ocamldoc/ocamldoc.sty ocaml-3.12.1/ocamldoc/ocamldoc.sty

--- ocaml-3.12.1.orig/ocamldoc/ocamldoc.sty	2011-12-19 15:05:56.000000000 +0400

+++ ocaml-3.12.1/ocamldoc/ocamldoc.sty	2011-12-19 16:26:57.477588393 +0400

@@ -47,12 +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

+

+\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