K 10 svn:author V 3 max K 8 svn:date V 27 1997-06-13T20:00:47.000000Z K 7 svn:log V 89 sed -> ${SED} Add `@' at the beginning of install-info related commands in post-install. END