diff options
Diffstat (limited to 'gnulib/modules/gendocs')
| m--------- | gnulib | 0 | ||||
| -rw-r--r-- | gnulib/modules/gendocs | 21 |
2 files changed, 21 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/modules/gendocs b/gnulib/modules/gendocs new file mode 100644 index 0000000..d70449d --- /dev/null +++ b/gnulib/modules/gendocs @@ -0,0 +1,21 @@ +Description: +Generate manuals in several formats from Texinfo sources. +Can be used for http://www.gnu.org/software/PKG/manual/ directories. + +Files: +build-aux/gendocs.sh +doc/gendocs_template + +Depends-on: + +configure.ac: + +Makefile.am: + +Include: + +License: +GPLed build tool + +Maintainer: +Karl Berry |