Update install.texi, and regenerate INSTALL.
authorCarlos O'Donell <carlos@redhat.com>
Thu, 3 Feb 2022 05:06:38 +0000 (00:06 -0500)
committerCarlos O'Donell <carlos@redhat.com>
Thu, 3 Feb 2022 05:06:38 +0000 (00:06 -0500)
commit6415fd2ddc5b48c3a3fe79805840f18ec4bf3d00
treef774c6af990efbf0274b2144c2a8b3140c8c1ed1
parenta134ce82374eb5d4f4bc33901ab9987448d02af4
Update install.texi, and regenerate INSTALL.
INSTALL
manual/install.texi