Fix for index.texi's @node
commit99bf1fc9e86cd575c58e2a5e3fc7914109302568
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 14:30:38 +0000 (10 15:30 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 10 Jan 2011 14:30:38 +0000 (10 15:30 +0100)
tree85296001c30c590d82ab0d992a70262d9d1c1704
parentf5a5313f480998d295bccac6a063085c49d296d4
Fix for index.texi's @node
doc/index.texi