diff options
Diffstat (limited to 'dev-lang/gprolog/files/gprolog-1.4.5-nodocs.patch')
| -rw-r--r-- | dev-lang/gprolog/files/gprolog-1.4.5-nodocs.patch | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/dev-lang/gprolog/files/gprolog-1.4.5-nodocs.patch b/dev-lang/gprolog/files/gprolog-1.4.5-nodocs.patch new file mode 100644 index 000000000000..c5c517b1887a --- /dev/null +++ b/dev-lang/gprolog/files/gprolog-1.4.5-nodocs.patch @@ -0,0 +1,29 @@ +--- gprolog-1.4.5.orig/src/Makefile.in 2018-07-14 10:19:12.000000000 +0200 ++++ gprolog-1.4.5/src/Makefile.in 2018-07-22 11:59:54.877137249 +0200 +@@ -97,7 +97,7 @@ + # --- Documentation --- # + + install-doc: +- if test $(DOC_DIR) != none; then \ ++ if test $(DOC_DIR) != $(DESTDIR)none; then \ + ./mkinstalldirs $(DOC_DIR); \ + (F=`cd ../doc; echo $(DOC_FILES)`; \ + for i in $$F; do $(INSTALL_DATA) ../doc/$$i $(DOC_DIR); done); \ +@@ -113,7 +113,7 @@ + # --- HTML --- # + + install-html: +- if test $(HTML_DIR) != none; then \ ++ if test $(HTML_DIR) != $(DESTDIR)none; then \ + ./mkinstalldirs $(HTML_DIR); \ + (F=`cd ../doc/html_node; echo $(HTML_FILES)`; \ + for i in $$F; do $(INSTALL_DATA) ../doc/html_node/$$i $(HTML_DIR); done); \ +@@ -129,7 +129,7 @@ + # --- Examples --- # + + install-examples: +- if test $(EXAMPLES_DIR) != none; then \ ++ if test $(EXAMPLES_DIR) != $(DESTDIR)none; then \ + ./mkinstalldirs $(EXAMPLES_DIR)/ExamplesPl; \ + (F=`cd ../examples/ExamplesPl; echo $(EXPL_FILES)`; \ + for i in $$F; do $(INSTALL_DATA) ../examples/ExamplesPl/$$i $(EXAMPLES_DIR)/ExamplesPl; done); \ |