IRRToolSet-DESTDIR.patch

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