debian/glosstex.cfg
