# HG changeset patch
# User Ludovic Courtès <ludo@gnu.org>
# Date 1420230874 -3600
# Node ID d903d8df50b7c0076c0bac6f40c978753cd6626c
# Parent  399fc389d4e1dbd902757f29f4b2878b29246dd4
gendocs: Add 'doc/gendocs_template_min'.

Suggested by Paul Eggert <eggert@cs.ucla.edu>.

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

diff -r 399fc389d4e1 -r d903d8df50b7 ChangeLog
--- 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
diff -r 399fc389d4e1 -r d903d8df50b7 modules/gendocs
--- 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: