Paul Eggert 08e42808b6 Use Gnulib gendocs instead of our own ...

I ported our fix into Gnulib so there’s no longer a need
for a separate copy.
* doc/Makefile.am (GENDOCS): Now in ../build-aux, not here.
* doc/gendocs.sh, doc/gendocs_template: Remove.
* gnulib.modules: Add gendocs.

2025-11-15 15:10:48 -08:00

4.0 KiB

Raw Blame History

View Raw