K 10 svn:author V 8 sheldonh K 8 svn:date V 27 2001-06-14T20:27:55.000000Z K 7 svn:log V 68 Calling makeinfo with --no-validate hasn't been necessary for ages. END