2007-02-05 Paolo Bonzini <bonzini@gnu.org>

[gnulib.git] / modules / getopt

diff --git a/modules/getopt b/modules/getopt
index 55fc61a..fa01d90 100644 (file)
--- a/modules/getopt
+++ b/modules/getopt
@@ -17,13 +17,14 @@ gl_GETOPT
 
 Makefile.am:
 BUILT_SOURCES += $(GETOPT_H)
-EXTRA_DIST += getopt_.h getopt_int.h
 
 # We need the following in order to create <getopt.h> when the system
 # doesn't have one that works with the given compiler.
 getopt.h: getopt_.h
-       cp $(srcdir)/getopt_.h $@-t
-       mv $@-t $@
+       { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
+         cat $(srcdir)/getopt_.h; \
+       } > $@-t
+       mv -f $@-t $@
 MOSTLYCLEANFILES += getopt.h getopt.h-t
 
 Include: