NEWS.stable: update and finalise

[gnulib.git] / modules / time

diff --git a/modules/time b/modules/time
index 8cbe99d..9660144 100644 (file)
--- a/modules/time
+++ b/modules/time
@@ -17,13 +17,11 @@ configure.ac:
 gl_HEADER_TIME_H
 
 Makefile.am:
-nodist_pkginclude_HEADERS += time.h
-
 BUILT_SOURCES += time.h
 
 # We need the following in order to create <time.h> when the system
 # doesn't have one that works with the given compiler.
-time.h: time.in.h $(CXXDEFS_H) $(ARG_NONNULL_H) $(WARN_ON_USE_H)
+time.h: time.in.h $(top_builddir)/config.status $(CXXDEFS_H) $(ARG_NONNULL_H) $(WARN_ON_USE_H)
        $(AM_V_GEN)rm -f $@-t $@ && \
        { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */' && \
          sed -e 's|@''INCLUDE_NEXT''@|$(INCLUDE_NEXT)|g' \