diff options
Diffstat (limited to 'lang/ocaml/files/patch-ocamldoc::Makefile')
| -rw-r--r-- | lang/ocaml/files/patch-ocamldoc::Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/lang/ocaml/files/patch-ocamldoc::Makefile b/lang/ocaml/files/patch-ocamldoc::Makefile new file mode 100644 index 000000000000..dbcc9a59e684 --- /dev/null +++ b/lang/ocaml/files/patch-ocamldoc::Makefile @@ -0,0 +1,22 @@ +--- ocamldoc/Makefile.orig Fri Aug 2 00:25:13 2002 ++++ ocamldoc/Makefile Fri Aug 2 01:36:33 2002 +@@ -40,7 +40,7 @@ + OCAMLDOC_LIBA=odoc_info.a + INSTALL_LIBDIR=$(OCAMLLIB)/ocamldoc + INSTALL_BINDIR=$(OCAMLBIN) +-INSTALL_MANODIR=$(MANDIR)/mano ++INSTALL_MANODIR=$(MANDIR)/mann + + INSTALL_MLIS=odoc_info.mli odoc_args.mli + INSTALL_CMIS=$(INSTALL_MLIS:.mli=.cmi) +@@ -275,7 +275,9 @@ + $(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) ++ for f in stdlib_man/*;do \ ++ $(CP) $$f $(INSTALL_MANODIR)/`basename $$f .o`.n;\ ++ done + + installopt: + if test -f $(OCAMLDOC_OPT) ; then $(MAKE) installopt_really ; fi |