/Master/texmf-dist/scripts/dviinfox/
../
dviinfox.pl