K 10
svn:author
V 2
bf
K 8
svn:date
V 27
2011-08-04T23:32:05.000000Z
K 7
svn:log
V 70
fix WITH_DVI_MANUALS

Reported by:	Anton Shterenlikht, Benjamin Stier

END
