* Sebastian Rahtz <sebastian.rahtz@computing-services.oxford.ac.uk> writes: > aargh. in that case, I just broke it.... We can fix texfont.pl to accomodate gzipped files. Or even fix pathsea to accomodate gzip files. -- Fabrice