K 10 svn:author V 5 steve K 8 svn:date V 27 1999-01-26T01:45:28.000000Z K 7 svn:log V 111 Make this work with current's new version of texinfo. PR: 9587 Submitted by: Sheldon Hearn END