diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | modules/gendocs | 1 |
2 files changed, 6 insertions, 0 deletions
@@ -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: |