Manual: whitespace and missing @noindent
commitf9fbf7ee18f5de9b1608c303bb108552e041e205
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 14:32:30 +0000 (10 15:32 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 14:32:30 +0000 (10 15:32 +0100)
treef157c437f5c302acf25a300a3d43aece44993079
parentdf7da58dec06aa66c5cdf3a0657ed6baee7c0150
Manual: whitespace and missing @noindent

Thanks, once again, to Mark Harig.
doc/install.texi
doc/parens.texi
doc/repl.texi