Bug#409027: coqdoc.sty in wrong place
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.
--
Reply to: