Use gnulib's getopt-gnu module.

1 files changed, 1 insertions, 3 deletions

diff --git a/make-dist b/make-dist
index 4227439c919..5c97628b5a5 100755
--- a/make-dist
+++ b/make-dist
@@ -384,9 +384,7 @@ echo "Making links to \`lib-src'"
  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