Documentation fixes
commit613ae203753f7f1aa902c72b4676335d56252998
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 25 Feb 2020 13:44:17 +0000 (25 13:44 +0000)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 25 Feb 2020 13:44:17 +0000 (25 13:44 +0000)
tree2704e2759c419e39367b18f1af0ee7f1ed2c1cd2
parent51252bcb35d6afe006487b73c1e2276210b4ed83
Documentation fixes
doc/install.texi