gnulib-tool.py: Fix an undefined function name.
[gnulib.git] / modules / gendocs
blob7c37935814510c3e85a597dacbe8ca56c87f7527
1 Description:
2 Generate manuals in several formats from Texinfo sources.
3 Can be used for https://www.gnu.org/software/PKG/manual/ directories.
5 Files:
6 build-aux/gendocs.sh
7 doc/gendocs_template
8 doc/gendocs_template_min
10 Depends-on:
12 configure.ac:
14 Makefile.am:
16 Include:
18 License:
19 GPLed build tool
21 Maintainer:
22 all