K 10 svn:author V 7 andreas K 8 svn:date V 27 1997-10-13T21:01:21.000000Z K 7 svn:log V 111 portlint: added "@exec install-info" after info files. added "@unexec install-info --delete" before info files END