Hironobu Yamashita
2017-08-05 16:37:09 UTC
Hello,
In current svn repo, there is a file
Master/texmf-dist/dvips/xdvi/config.xdvi
However, when I build binaries from "Build" script, the file with
the same name and the same content is installed into
texmf-dist/dvips/config/config.xdvi
I think this is confusing.
In my opinion, xdvi >=22.86 uses "config.ps" and "config.xdvi" for
configuration, so these two can be placed close to each other; so
I think
Master/texmf-dist/dvips/xdvi/config.xdvi
should be moved to
Master/texmf-dist/dvips/config/config.xdvi
Hironobu Yamashita
In current svn repo, there is a file
Master/texmf-dist/dvips/xdvi/config.xdvi
However, when I build binaries from "Build" script, the file with
the same name and the same content is installed into
texmf-dist/dvips/config/config.xdvi
I think this is confusing.
In my opinion, xdvi >=22.86 uses "config.ps" and "config.xdvi" for
configuration, so these two can be placed close to each other; so
I think
Master/texmf-dist/dvips/xdvi/config.xdvi
should be moved to
Master/texmf-dist/dvips/config/config.xdvi
Hironobu Yamashita