Hi Laurent, sorry to say, but ...
> The generated files are ending being labeld as dpkg_script_tmp_t instead > of tetex_data_t as they are created in /tmp and then moved. I have absolutely no idea what you are talking about!?! tetex_data_t is something I heard the very first time. It is something that I never used and there is nothing in tex-common related to it, so I have no idea where it is coming from. Best Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13