Hi, Ralf Treinen wrote: > 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.
Thanks. I'll try to find some time soon to correct this. Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
