Fixes for links in info manual
commit4b13b107c62682c7a55de18f396862dcfe01acf1
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 21:02:46 +0000 (10 22:02 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 21:02:46 +0000 (10 22:02 +0100)
treedabba3fbb199f2cccd449165e74e730fc761c1e2
parent2ff0d4afe8730859d84dbe4a959d7d3147c6d495
Fixes for links in info manual
doc/macros.texi
doc/parens.texi
doc/repl.texi