K 10 svn:author V 5 joerg K 8 svn:date V 27 1995-03-19T10:10:42.000000Z K 7 svn:log V 92 Make the catman command (in the commented-out example) run by user `man' instead of `root'. END