Docs: better rendering of links in info
commit87340e7700af9a24441bc5c6047a92b85f5c7bb8
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 9 Jan 2011 15:49:40 +0000 (9 16:49 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 9 Jan 2011 15:49:40 +0000 (9 16:49 +0100)
treec4efac9560f04f64c628c797bd1cf29913acfd14
parent5f50bcd86d436a598bf9d61f5bcfd7f985338d01
Docs: better rendering of links in info
doc/install.texi
doc/macros.texi
doc/parens.texi
doc/repl.texi