Author :
Karl Berry
Date :
2024-01-27 10:59:15
Hash :05856fd6 Message :maint: secondary updates from make fetch.
* INSTALL: updated from make distcheck.
* maintainer/maint.mk (fetch): update top-level INSTALL
if we update lib/INSTALL.
* lib/gendocs.sh: update with make fetch.
Karl Berry