]> git.pld-linux.org Git - packages/ocaml.git/commitdiff
37aec256464c5ec2a709c6de79214d6e ocaml-nomanpages.patch
authorankry <ankry@pld-linux.org>
Wed, 22 Oct 2003 15:44:08 +0000 (15:44 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    ocaml-nomanpages.patch -> 1.1

ocaml-nomanpages.patch [new file with mode: 0644]

diff --git a/ocaml-nomanpages.patch b/ocaml-nomanpages.patch
new file mode 100644 (file)
index 0000000..e19b5b4
--- /dev/null
@@ -0,0 +1,24 @@
+--- ocaml-3.06/ocamldoc/Makefile~      Wed Oct 22 16:23:07 2003
++++ ocaml-3.06/ocamldoc/Makefile       Wed Oct 22 16:23:07 2003
+@@ -179,7 +179,8 @@
+       ../otherlibs/bigarray/bigarray.mli \
+       ../otherlibs/num/num.mli
+-all: exe lib manpages
++#all: exe lib manpages
++all: exe lib
+ exe: $(OCAMLDOC)
+ lib: $(OCAMLDOC_LIBCMA) $(OCAMLDOC_LIBCMI) 
+--- ocaml-3.06/ocamldoc/Makefile~      Wed Oct 22 17:07:16 2003
++++ ocaml-3.06/ocamldoc/Makefile       Wed Oct 22 17:07:16 2003
+@@ -279,7 +279,8 @@
+       $(CP) ocamldoc.sty ocamldoc.hva *.cmi $(GENERATORS) $(OCAMLDOC_LIBCMA) $(INSTALL_LIBDIR)
+       $(CP) $(INSTALL_MLIS) $(INSTALL_CMIS) $(INSTALL_LIBDIR)
+       if test -d $(INSTALL_MANODIR); then : ; else $(MKDIR) $(INSTALL_MANODIR); fi
+-      $(CP) stdlib_man/* $(INSTALL_MANODIR)
++
++#     $(CP) stdlib_man/* $(INSTALL_MANODIR)
+ installopt:
+       if test -f $(OCAMLDOC_OPT) ; then $(MAKE) installopt_really ; fi
This page took 0.034099 seconds and 4 git commands to generate.