maint: secondary updates from make fetch.
commit05856fd6c68857dbd852b98cc342078f32a1c429
authorKarl Berry <karl@freefriends.org>
Sat, 27 Jan 2024 18:59:15 +0000 (27 10:59 -0800)
committerKarl Berry <karl@freefriends.org>
Sat, 27 Jan 2024 18:59:15 +0000 (27 10:59 -0800)
treee8c72bf6bc6d080bb07368737af080a807efbefb
parent248edc441c6adb579b86eb25a77ea32309043a31
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.
INSTALL
lib/gendocs.sh
maintainer/maint.mk