Hi all, I just encountered for the first time the files debian/patterns and debian/regex in tetex-base. Are these files used, or have they ever been used? Regards, Frank -- Frank Küster, Biozentrum der Univ. Basel Abt. Biophysikalische Chemie