cosmetics

[packages/IRRToolSet.git] / IRRToolSet-DESTDIR.patch

--- ./src/Makefile.in.org	Thu Jun 15 20:51:23 2000
+++ ./src/Makefile.in	Mon Jul 15 17:37:43 2002
@@ -80,11 +80,11 @@
 
 install:
 	@for i in $(prefix) $(bindir) $(mandir) $(man1dir) $(man3dir) ; do \
-		test -d $$i || mkdir -p $$i; \
+		test -d $(DESTDIR)$$i || mkdir -p $(DESTDIR)$$i; \
 	done
-	for i in $(TOOLDIRS); do $(INSTALL_PROGRAM) $$i/$$i $(bindir); done
-	for i in ../man/man1/*; do $(INSTALL_DATA) $$i $(man1dir); done
-	for i in ../man/man3/*; do $(INSTALL_DATA) $$i $(man3dir); done
+	for i in $(TOOLDIRS); do $(INSTALL_PROGRAM) $$i/$$i $(DESTDIR)$(bindir); done
+	for i in ../man/man1/*; do $(INSTALL_DATA) $$i $(DESTDIR)$(man1dir); done
+	for i in ../man/man3/*; do $(INSTALL_DATA) $$i $(DESTDIR)$(man3dir); done
 
 tags:
 	@find `pwd` -name \*.hh -or -name \*.cc -or -name \*.c -or -name \*.h -or -name \*.y -or -name \*.l | xargs etags -t