comparison make-dist @ 112310:e838cdd68eae

Use gnulib's getopt-gnu module.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 08 Jan 2011 23:29:26 -0800
parents 1bd15f32eeb7
children 17e0028efc29
comparison
equal deleted inserted replaced
112309:4cf733e4915a 112310:e838cdd68eae
382 echo "Making links to \`lib-src'" 382 echo "Making links to \`lib-src'"
383 (cd lib-src 383 (cd lib-src
384 ln [a-zA-Z]*.[ch] ../${tempdir}/lib-src 384 ln [a-zA-Z]*.[ch] ../${tempdir}/lib-src
385 ln ChangeLog Makefile.in README testfile vcdiff ../${tempdir}/lib-src 385 ln ChangeLog Makefile.in README testfile vcdiff ../${tempdir}/lib-src
386 ln grep-changelog rcs2log rcs-checkin ../${tempdir}/lib-src 386 ln grep-changelog rcs2log rcs-checkin ../${tempdir}/lib-src
387 ln makefile.w32-in ../${tempdir}/lib-src 387 ln makefile.w32-in ../${tempdir}/lib-src)
388 cd ../${tempdir}/lib-src
389 rm -f getopt.h)
390 388
391 echo "Making links to \`m4'" 389 echo "Making links to \`m4'"
392 (cd m4 390 (cd m4
393 ln *.m4 ../${tempdir}/m4) 391 ln *.m4 ../${tempdir}/m4)
394 392