diff options
Diffstat (limited to 'dev-ml/findlib/files/quoting.patch')
-rw-r--r-- | dev-ml/findlib/files/quoting.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dev-ml/findlib/files/quoting.patch b/dev-ml/findlib/files/quoting.patch new file mode 100644 index 000000000000..2fd71bb56adf --- /dev/null +++ b/dev-ml/findlib/files/quoting.patch @@ -0,0 +1,15 @@ +Proper quoting for install man. + +Index: findlib-1.6.1/Makefile +=================================================================== +--- findlib-1.6.1.orig/Makefile ++++ findlib-1.6.1/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" + |