diff -urN ocaml-orig/ocamldoc/Makefile ocaml/ocamldoc/Makefile --- ocaml-orig/ocamldoc/Makefile Sun Apr 28 21:22:28 2002 +++ ocaml/ocamldoc/Makefile Mon Apr 29 19:29:48 2002 @@ -362,6 +362,20 @@ ../otherlibs/bigarray/bigarray.mli \ ../otherlibs/num/num.mli +stdlib.ps: dummy + $(OCAMLDOC_RUN) -latex $(INCLUDES) ../stdlib/*.mli \ + -t "OCaml library" \ + ../otherlibs/unix/unix.mli \ + ../otherlibs/str/str.mli \ + ../otherlibs/bigarray/bigarray.mli \ + ../otherlibs/num/num.mli + mv ocamldoc.out stdlib.tex + latex stdlib.tex + latex stdlib.tex + dvips stdlib.dvi -o stdlib.ps + pdflatex stdlib.tex + pdflatex stdlib.tex + # backup, clean and depend : ############################