* Atsuhito Kohda <kohda@pm.tokushima-u.ac.jp> wrote [031007 10:12]: ... > they would be in texmf tree. ... > so you should put them in /usr/share/doc/texmf/ but > never in /usr/share/texmf/doc Thanks for the answer. I'll take care to choose the correct place. Michael -- mw@miwie.in-berlin.de http://www.miwie.org mw@miwie.org