diff options
| author | Jean-Louis Fuchs <ganwell@fangorn.ch> | 2017-04-29 15:08:37 +0200 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2017-05-02 09:41:09 +0000 |
| commit | 988ab9f1a02b958966c19232fc8eb26b1298081a (patch) | |
| tree | 5e1e96b96e4d124af5417ddb42868bf22a40b626 /community/ocaml-findlib/Makefile.patch | |
| parent | 92dbdda5fb890342a45fc56f376d8c2bf652dccb (diff) | |
| download | aports-988ab9f1a02b958966c19232fc8eb26b1298081a.tar.bz2 aports-988ab9f1a02b958966c19232fc8eb26b1298081a.tar.xz | |
community/ocaml-findlib: move from testing
Diffstat (limited to 'community/ocaml-findlib/Makefile.patch')
| -rw-r--r-- | community/ocaml-findlib/Makefile.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/community/ocaml-findlib/Makefile.patch b/community/ocaml-findlib/Makefile.patch new file mode 100644 index 0000000000..6d95658469 --- /dev/null +++ b/community/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" + |