--- /dev/null
+--- ./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