Update install.texi, and regenerate INSTALL.
commit5199024232eb9da46150c73af3a198185aa48aa6
authorCarlos O'Donell <carlos@redhat.com>
Tue, 31 Jan 2023 22:15:24 +0000 (31 17:15 -0500)
committerCarlos O'Donell <carlos@redhat.com>
Tue, 31 Jan 2023 22:51:40 +0000 (31 17:51 -0500)
treefae8a5e1738f62669fe3384b555ea72965373f55
parent1bcbb25882c2406bcde58e91ad0da03ec848ff70
Update install.texi, and regenerate INSTALL.
INSTALL
manual/install.texi