Bug#409027: coqdoc.sty in wrong place

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

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.