* doc/misc/sc.texi: Nuke hand-written node pointers.
authorGlenn Morris <rgm@gnu.org>
Mon, 28 May 2012 23:28:27 +0000 (16:28 -0700)
committerGlenn Morris <rgm@gnu.org>
Mon, 28 May 2012 23:28:27 +0000 (16:28 -0700)
commit16af873e58c4daacb3d5d038f16014dd077eb9a1
treec7122e6190981037511c499de71e4ea28e544c8c
parent85d0efd175d95b4aa23d6eb22b8f8d18ed03ba75
* doc/misc/sc.texi: Nuke hand-written node pointers.
Fix top-level menu to match actual node order.
doc/misc/ChangeLog
doc/misc/sc.texi