aboutsummaryrefslogtreecommitdiffstats
path: root/testing/ocaml-findlib/Makefile.patch
diff options
context:
space:
mode:
authorJakub Jirutka <jakub@jirutka.cz>2016-08-02 14:29:04 +0200
committerJakub Jirutka <jakub@jirutka.cz>2016-08-02 14:45:17 +0200
commitd7228d1fbdda07c11631ea2a1838c264e16d6cbd (patch)
tree624b6d2757fd95a39016a99dbd76be93d0991af1 /testing/ocaml-findlib/Makefile.patch
parent49ae9655c09035515fc753ae302813f7535d7ab9 (diff)
downloadaports-d7228d1fbdda07c11631ea2a1838c264e16d6cbd.tar.bz2
aports-d7228d1fbdda07c11631ea2a1838c264e16d6cbd.tar.xz
testing/ocaml-findlib: new aport
http://projects.camlcity.org/projects/findlib.html OCaml package manager
Diffstat (limited to 'testing/ocaml-findlib/Makefile.patch')
-rw-r--r--testing/ocaml-findlib/Makefile.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/testing/ocaml-findlib/Makefile.patch b/testing/ocaml-findlib/Makefile.patch
new file mode 100644
index 0000000000..6d95658469
--- /dev/null
+++ b/testing/ocaml-findlib/Makefile.patch
@@ -0,0 +1,11 @@
+--- 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"
+