Fix errors in the Texinfo source discovered by makeinfo 4.13.90
authorJohn Darrington <john@darrington.wattle.id.au>
Sat, 17 Dec 2011 11:38:29 +0000 (12:38 +0100)
committerJohn Darrington <john@darrington.wattle.id.au>
Sat, 17 Dec 2011 11:38:29 +0000 (12:38 +0100)

No differences found