gendocs: Add 'doc/gendocs_template_min'.

Suggested by Paul Eggert <eggert@cs.ucla.edu>.

* module/gendocs: Add 'doc/gendocs_template_min'.

diff --git a/ChangeLog b/ChangeLog
index 0b5ff88ad566c1ca6cb8561e4aa135528f134e53..21da4d1426455d6678c5082dffaa0f8d91efc636 100644 (file)
--- 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 a036e5d82fb951ab6f353ef8a4df42e41859974e..279f2b7ed13632c5a0ae6ca61d941c2c220eb15e 100644 (file)
--- 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: