On Tue, Jan 30, 2007 at 10:02:18AM +0100, Lionel Elie Mamane wrote: > Package: coq > Version: 8.0pl3-2 > Severity: normal > > $ dpkg -L coq|grep sty > /usr/share/emacs/site-lisp/coqdoc.sty
I don't have time now to look into the coq build process, but: The appropriate place for this file seems /usr/share/texmf/tex/latex/misc. You will find for instance in the hevea package an appropriate postinst that will update the tex hash tables, provided that tex is installed. -Ralf. -- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]