changeset 17853:aea0788f4d36

gendocs: Add 'doc/gendocs_template_min'. Suggested by Paul Eggert <eggert@cs.ucla.edu>. * module/gendocs: Add 'doc/gendocs_template_min'.
author Ludovic Courtès <ludo@gnu.org>
date Fri, 02 Jan 2015 21:34:34 +0100
parents 1d302ed5f1b4
children b37f371444ed
files ChangeLog modules/gendocs
diffstat 2 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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
--- a/modules/gendocs
+++ b/modules/gendocs
@@ -5,6 +5,7 @@
 Files:
 build-aux/gendocs.sh
 doc/gendocs_template
+doc/gendocs_template_min
 
 Depends-on: