Remove hand-written node pointers in doc/misc/widget.texi
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 19:57:35 +0000 (11:57 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 19:57:35 +0000 (11:57 -0800)
commitc047952bc6cedd6c456ba9d4dc69992d7015bf79
tree35f3b58503c676097a337fb1ff1778ad23e15a86
parent563a450c01499bf444e5c8fc5f314abb1b0325fa
Remove hand-written node pointers in doc/misc/widget.texi
Fix up sectioning
doc/misc/ChangeLog
doc/misc/widget.texi