[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: where to put user documentation



* 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



Reply to: