changeset 37533:d903d8df50b7

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 399fc389d4e1
children b1866a1a3f1a
files ChangeLog modules/gendocs
diffstat 2 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Wed Dec 17 17:45:27 2014 +0100
+++ b/ChangeLog	Fri Jan 02 21:34:34 2015 +0100
@@ -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	Wed Dec 17 17:45:27 2014 +0100
+++ b/modules/gendocs	Fri Jan 02 21:34:34 2015 +0100
@@ -5,6 +5,7 @@
 Files:
 build-aux/gendocs.sh
 doc/gendocs_template
+doc/gendocs_template_min
 
 Depends-on: