K 10 svn:author V 3 bde K 8 svn:date V 27 1999-01-30T14:28:10.000000Z K 7 svn:log V 163 Rewrote the changes in rev.1.53. Don't ignore errors from makeinfo. Use fancy substitutions instead of a huge if statement to handle the rather delicate quoting. END