diff options
Diffstat (limited to 'community/ocaml-findlib/Makefile.patch')
-rw-r--r-- | community/ocaml-findlib/Makefile.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/community/ocaml-findlib/Makefile.patch b/community/ocaml-findlib/Makefile.patch deleted file mode 100644 index 6d95658469..0000000000 --- a/community/ocaml-findlib/Makefile.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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" - |