diff modules/gendocs @ 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 9759915b2aca
line wrap: on
line diff
--- 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: