diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-01-02 21:34:34 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-01-02 22:50:11 +0100 |
commit | 079015590841bbed45331f5060a0bed1a47e38e7 (patch) | |
tree | 69d139735d72b3c958617435560be60c360ddd13 | |
parent | bae95fca299f274a84e25e70760d5a61b13da027 (diff) | |
download | gnulib-079015590841bbed45331f5060a0bed1a47e38e7.tar.gz |
gendocs: Add 'doc/gendocs_template_min'.
Suggested by Paul Eggert <eggert@cs.ucla.edu>.
* module/gendocs: Add 'doc/gendocs_template_min'.
-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: |