Frank Küster wrote: [policy] > This implies, IMHO, that the basic TeX packages should not install their > files into TEXMFMAIN. If we think that these files should not be > possibly shadowed, we should change the wording of the policy.
ACK. I have mean while looked at the files installed by tetex-bin. We would get problems if some package would install new pool files, but then, this would be a bug in that package (ugly to debug, though). I guess it is ok to move all files to TEXMFDIST. BTW, tetex-src seems to install its files into TEXMFMAIN, too. Should those also go to TEXMFDIST? cheerio ralf
