]> Savannah Git Hosting - gnulib.git/commitdiff
gendocs: Add 'doc/gendocs_template_min'.
authorLudovic Courtès <ludo@gnu.org>
Fri, 2 Jan 2015 20:34:34 +0000 (21:34 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 2 Jan 2015 21:50:11 +0000 (22:50 +0100)
Suggested by Paul Eggert <eggert@cs.ucla.edu>.

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

ChangeLog
modules/gendocs

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
index a036e5d82fb951ab6f353ef8a4df42e41859974e..279f2b7ed13632c5a0ae6ca61d941c2c220eb15e 100644 (file)
@@ -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: