K 10
svn:author
V 7
wollman
K 8
svn:date
V 27
1995-01-11T19:58:03.000000Z
K 7
svn:log
V 99
Always delete ${DOC}.ps and ${DOC}.ascii in the clean target, no matter what
${PRINTER} is set to.

END