diff 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
line wrap: on
line diff
--- a/make-dist	Sat Jan 08 23:13:28 2011 -0800
+++ b/make-dist	Sat Jan 08 23:29:26 2011 -0800
@@ -384,9 +384,7 @@
  ln [a-zA-Z]*.[ch] ../${tempdir}/lib-src
  ln ChangeLog Makefile.in README testfile vcdiff ../${tempdir}/lib-src
  ln grep-changelog rcs2log rcs-checkin ../${tempdir}/lib-src
- ln makefile.w32-in ../${tempdir}/lib-src
- cd ../${tempdir}/lib-src
- rm -f getopt.h)
+ ln makefile.w32-in ../${tempdir}/lib-src)
 
 echo "Making links to \`m4'"
 (cd m4