diff --git a/ChangeLog b/ChangeLog
index 0b5ff88ad5..21da4d1426 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2015-01-02  Ludovic Courtès  <ludo@gnu.org>
+
+	Suggested by Paul Eggert <eggert@cs.ucla.edu>.
+	* module/gendocs: Add 'doc/gendocs_template_min'.
+
 2015-01-01  Paul Eggert  <eggert@cs.ucla.edu>
 
 	gendocs: copyright date and version fix
diff --git a/modules/gendocs b/modules/gendocs
index a036e5d82f..279f2b7ed1 100644
--- a/modules/gendocs
+++ b/modules/gendocs
@@ -5,6 +5,7 @@ Can be used for http://www.gnu.org/software/PKG/manual/ directories.
 Files:
 build-aux/gendocs.sh
 doc/gendocs_template
+doc/gendocs_template_min
 
 Depends-on: