CVSROOT: /cvs/tetex Module name: tetex-bin Changes by: kohda Sun Oct 19 21:58:08 MDT 2003 Modified files: debian : rules Log message: Applied a patch to fix a problem of the latest flex so removed former fix