Update install.texi, and regenerate INSTALL.
commit7a52dfab0291c53e61f088e76bf91b85ffb04a6c
authorCarlos O'Donell <carlos@redhat.com>
Fri, 29 Jul 2022 21:51:16 +0000 (29 17:51 -0400)
committerCarlos O'Donell <carlos@redhat.com>
Fri, 29 Jul 2022 21:51:16 +0000 (29 17:51 -0400)
tree162e197b78a8cfb08ad5f4a1979f4abb6239658d
parent90d8f0dc29d59e299c8cd765b9662bfceb3c1081
Update install.texi, and regenerate INSTALL.
INSTALL
manual/install.texi