::
il .log inizia così:
`This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=latex 2011.4.5) 6 SEP 2011 12:43`
nelle opzioni di Kile potrei cambiare la Location of Tex documentation da /usr/share/doc/texlive-doc . Provo con /opt/texbin/tex?
grazie per la pazienza…
