* doc/misc/info.texi: Nuke hand-written node pointers.
authorGlenn Morris <rgm@gnu.org>
Fri, 28 Feb 2014 06:14:07 +0000 (22:14 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 28 Feb 2014 06:14:07 +0000 (22:14 -0800)
commit4a6311cd711ec72dc962f2d4a64d7e4b0edba8dc
treebca3f41773402cffccaea1317a03f440b100a73c
parent8484c89b9138c9e008c05e9f4dc2222a4985332e
* doc/misc/info.texi: Nuke hand-written node pointers.
doc/misc/ChangeLog
doc/misc/info.texi