K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2004-06-22T07:57:02.000000Z
K 7
svn:log
V 108
Disable the OPTIONS line since it can confuse the users
when print/teTeX-base is installed as a dependency.

END