"Alexander Buerger" <buerger@iskp.uni-bonn.de> wrote: > Package: tetex-base > Version: 2.0.2c-3 > Severity: normal FYI, this bug is reproducible with the tetex-beta packages (at least tetex-bin_2.96.7.20040721-1 and tetex-base_2.96.5.20040711-4) and the workaround mentioned by Alexander also works. -- Florent