comparison make-dist @ 80735:5e73f3fa746f

Omit info/.arch-inventory.
author Chong Yidong <cyd@stupidchicken.com>
date Sat, 16 Aug 2008 13:46:15 +0000
parents ff108ff68535
children f13d2ef47961
comparison
equal deleted inserted replaced
80734:80d19da2c42f 80735:5e73f3fa746f
625 ln `find . -type f -print | grep -v CVS | grep -v RCS | grep -v cvsignore` ../${tempdir}/info 625 ln `find . -type f -print | grep -v CVS | grep -v RCS | grep -v cvsignore` ../${tempdir}/info
626 #ln [a-zA-Z]* ../${tempdir}/info 626 #ln [a-zA-Z]* ../${tempdir}/info
627 cd ../${tempdir}/info 627 cd ../${tempdir}/info
628 # Avoid an error when expanding the wildcards later. 628 # Avoid an error when expanding the wildcards later.
629 ln emacs dummy~ ; ln emacs \#dummy\# 629 ln emacs dummy~ ; ln emacs \#dummy\#
630 rm -f *~ \#*\# core) 630 rm -f *~ \#*\# core .arch-inventory)
631 631
632 echo "Making links to \`man'" 632 echo "Making links to \`man'"
633 (cd man 633 (cd man
634 ln *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/man 634 ln *.texi *.aux *.cps *.fns *.kys *.vrs ../${tempdir}/man
635 ln makefile.w32-in ../${tempdir}/man 635 ln makefile.w32-in ../${tempdir}/man