K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2014-08-30T08:31:41.450511Z
K 7
svn:log
V 69
Fix filename conflict with dvi2tty installed by TeXLive.

PR:	193140

END