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