texi updates
commitc71938de3c6daa9064597ca3ea816097bb2db886
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 4 Apr 2021 03:33:30 +0000 (4 04:33 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 4 Apr 2021 03:33:30 +0000 (4 04:33 +0100)
tree71b97c5ce10e5e1881a3767750d9d8cbf201c9b9
parentf4de9027533a74379c46d7f268540bb4832cec40
texi updates
doc/index.texi
doc/install.texi
doc/repl.texi