Package: tetex-bin Version: 1.0.7+20001218-6 Severity: normal This is just a reminder (RC because it should be done before woody) that we must add a note to the copyright file that tex.web and mf.web mustn't be edited without changing the name of the files.