30 lines
1.2 KiB
Diff
30 lines
1.2 KiB
Diff
diff -ur gprolog-1.4.4.orig/src/Makefile.in gprolog-1.4.4/src/Makefile.in
|
|
--- gprolog-1.4.4.orig/src/Makefile.in 2013-04-23 16:56:44.000000000 +0200
|
|
+++ gprolog-1.4.4/src/Makefile.in 2013-05-15 17:01:25.000000000 +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); \
|