Joachim Schrod TWG-TDS@SHSU.edu
Wed, 20 Sep 1995 14:02:59 +0200 (MESZ)

Karl wrote:
>     That's not true, filenames are
>     only unique over the trees tex/{<format>,generic}/. 
> Say what? As far as I know, we've always been assuming filenames are
> unique over the entire tree.

???? Over which tree? texmf/? That's not true, to start with font
names. But it's also not true for macro files. We can assume that
macro files for one format have unique file names. But not in a wider
area. Well, above I also added the restriction that they should not
conflict with generic/. (Since generic is used for every format, by


Joachim Schrod			Email: schrod@iti.informatik.th-darmstadt.de
Computer Science Department
Technical University of Darmstadt, Germany