# texexec --nonstopmode --fast --make --pdftex cont-en TeXExec | using search method 'kpsewhich' TeXExec | using existing database TeXExec | using tex engine pdftex TeXExec | using tex format path /var/lib/texmf/web2c/pdftex TeXExec | unable to make format due to lack of permissions TeXExec | TeXExec | TeXExec | TeXExec | runtime: 0.195613 # echo $? 0 # Can we fix this? The lack of permissions is of course a fake, the problem is that there is a link pdftex -> pdfetex in /var/lib/texmf/web2c/, but no directory pdfetex. But still texexec should return something \not= 0 Thanks and all the best Norbert ------------------------------------------------------------------------------- Dr. Norbert Preining Università di Siena Debian Developer Debian TeX Group gpg DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------------- DUNGENESS (n.) The uneasy feeling that the plastic handles of the overloaded supermarket carrier bag you are carrying are getting steadily longer. --- Douglas Adams, The Meaning of Liff