is it intended that lyx creates an unused emty tmp-dir anyway, when the button in preferences for the tmp-dir is inactive? Herbert -- http://www.educat.hu-berlin.de/~voss/lyx/
is it intended that lyx creates an unused emty tmp-dir anyway, when the button in preferences for the tmp-dir is inactive? Herbert -- http://www.educat.hu-berlin.de/~voss/lyx/