summaryrefslogtreecommitdiff
path: root/dev-lang/gprolog/files/gprolog-1.4.5-nodocs.patch
diff options
context:
space:
mode:
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.patch29
1 files changed, 0 insertions, 29 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
deleted file mode 100644
index c5c517b1887a..000000000000
--- a/dev-lang/gprolog/files/gprolog-1.4.5-nodocs.patch
+++ /dev/null
@@ -1,29 +0,0 @@
---- 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); \