patch-Makefile 792 B

1234567891011121314151617181920
  1. --- Makefile.orig Mon Mar 7 08:46:34 2016
  2. +++ Makefile Fri Jul 1 17:50:36 2016
  3. @@ -71,15 +71,13 @@
  4. .PHONY: install-doc
  5. install-doc:
  6. - mkdir -p "$(prefix)$(OCAMLFIND_MAN)/man1" "$(prefix)$(OCAMLFIND_MAN)/man3 $(prefix)$(OCAMLFIND_MAN)/man5"
  7. + mkdir -p "$(prefix)$(OCAMLFIND_MAN)/man1" "$(prefix)$(OCAMLFIND_MAN)/man5"
  8. -cp doc/ref-man/ocamlfind.1 "$(prefix)$(OCAMLFIND_MAN)/man1"
  9. -cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "$(prefix)$(OCAMLFIND_MAN)/man5"
  10. .PHONY: uninstall-doc
  11. uninstall-doc:
  12. rm -f "$(prefix)$(OCAMLFIND_MAN)/man1/ocamlfind.1"
  13. - rm -f "$(prefix)$(OCAMLFIND_MAN)/man3/Findlib.3"
  14. - rm -f "$(prefix)$(OCAMLFIND_MAN)/man3/Topfind.3"
  15. rm -f "$(prefix)$(OCAMLFIND_MAN)/man5/META.5"
  16. rm -f "$(prefix)$(OCAMLFIND_MAN)/man5/site-lib.5"