Towards reproducible builds.
diff --git a/ChangeLog b/ChangeLog
index aeca305..74bf540 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2016-12-03 Bruno Haible <bruno@clisp.org>
+
+ Towards reproducible builds.
+ * Makefile.devel (man/%.html): Remove the CreationDate comment line
+ from the output.
+
2016-12-04 Bruno Haible <bruno@clisp.org>
Update to gettext-0.19.8.1.
diff --git a/Makefile.devel b/Makefile.devel
index dcf3b62..3aafa96 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -194,7 +194,9 @@
man/%.html : man/%
- $(MAN2HTML) $< > $@
+ $(MAN2HTML) $< > $@-t
+ grep -v '<!-- CreationDate' < $@-t > $@
+ $(RM) $@-t
force :