K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
2011-07-03T10:30:25.000000Z
K 7
svn:log
V 162
Make print/texinfo another prerequisite.  Sometimes, texi2dvi appears
to be installed by teTeX already, but sometimes print/texinfo is
required for it.  Strange.

END