summaryrefslogtreecommitdiffstats
path: root/abs/extra/ocaml-findlib/makefile.patch
diff options
context:
space:
mode:
Diffstat (limited to 'abs/extra/ocaml-findlib/makefile.patch')
-rw-r--r--abs/extra/ocaml-findlib/makefile.patch13
1 files changed, 13 insertions, 0 deletions
diff --git a/abs/extra/ocaml-findlib/makefile.patch b/abs/extra/ocaml-findlib/makefile.patch
new file mode 100644
index 0000000..0e21a2d
--- /dev/null
+++ b/abs/extra/ocaml-findlib/makefile.patch
@@ -0,0 +1,13 @@
+Index: b/Makefile
+===================================================================
+--- a/Makefile
++++ b/Makefile
+@@ -71,7 +71,7 @@ findlib.conf: findlib.conf.in
+
+ .PHONY: install-doc
+ install-doc:
+- mkdir -p "$(prefix)$(OCAMLFIND_MAN)/man1" "$(prefix)$(OCAMLFIND_MAN)/man3 $(prefix)$(OCAMLFIND_MAN)/man5"
++ mkdir -p "$(prefix)$(OCAMLFIND_MAN)/man1" "$(prefix)$(OCAMLFIND_MAN)/man3" "$(prefix)$(OCAMLFIND_MAN)/man5"
+ -cp doc/ref-man/ocamlfind.1 "$(prefix)$(OCAMLFIND_MAN)/man1"
+ -cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "$(prefix)$(OCAMLFIND_MAN)/man5"
+