More documentation fixes
commit481d2b4f4b5ee935779b6916b58d6d9d48f89b3a
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 11 Jan 2011 01:43:54 +0000 (11 02:43 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 11 Jan 2011 01:43:54 +0000 (11 02:43 +0100)
tree53f5fb6f48e8ebe3780cf945e0edb516a206e01b
parent4b13b107c62682c7a55de18f396862dcfe01acf1
More documentation fixes
doc/install.texi
doc/macros.texi
doc/parens.texi
doc/repl.texi