* lib/stat-time.h: (get_stat_birthtime): Check for zero-valued

[gnulib.git] / modules / getopt

diff --git a/modules/getopt b/modules/getopt
index ee754bc..fa01d90 100644 (file)
--- a/modules/getopt
+++ b/modules/getopt
@@ -17,12 +17,13 @@ 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 -f $(srcdir)/getopt_.h $@-t
+       { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
+         cat $(srcdir)/getopt_.h; \
+       } > $@-t
        mv -f $@-t $@
 MOSTLYCLEANFILES += getopt.h getopt.h-t