diff options
| author | Britney Fransen <brfransen@gmail.com> | 2017-02-15 21:32:05 (GMT) |
|---|---|---|
| committer | Britney Fransen <brfransen@gmail.com> | 2017-02-15 21:32:05 (GMT) |
| commit | ad0b917485532584dfcb65a1aa059ce1e627a17a (patch) | |
| tree | 1e2f100c42ab0aea56eb9c983df9ab5a0e82a6a8 /abs/extra/ocaml-findlib/makefile.patch | |
| parent | 6d8692bba331b7a24205e4f9bb1b91dfa6d4d6d4 (diff) | |
| parent | 4d4d8d4d6e947e7c765d9fa49a73ace87da10784 (diff) | |
| download | linhes_pkgbuild-ad0b917485532584dfcb65a1aa059ce1e627a17a.zip linhes_pkgbuild-ad0b917485532584dfcb65a1aa059ce1e627a17a.tar.gz linhes_pkgbuild-ad0b917485532584dfcb65a1aa059ce1e627a17a.tar.bz2 | |
Merge branch 'testing'
Diffstat (limited to 'abs/extra/ocaml-findlib/makefile.patch')
| -rw-r--r-- | abs/extra/ocaml-findlib/makefile.patch | 13 |
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" + |