86dfbfd Fix errors reported by version 5.0 of texinfo.

Authored and Committed by nickc 11 years ago
     Fix errors reported by version 5.0 of texinfo.
    
        
file modified
+18 -12