missfont.log in home directory?

Solution 1:

edit: this solution did not work after all. all suggestions are welcome.

I found a solution, but it is not flawless. Apparently the bug is related to dvips. I added a file .dvips in my home folder and tried to redefine the MISSFONT_LOG variable. The latter is very poorly documented, so feel free to add the correct version. I tried the following and I am no longer getting missfont.log files all over the place (also no .missfont.log files, though).

MISSFONT_LOG = $HOME/.missfont.log 
MISSFONT_LOG = .missfont.log
MISSFONT_LOG : .missfont.log

missfont.log in home directory?

Solution 1:

Related

Recent Posts