Bug#409027: coqdoc.sty in wrong place

[Lionel Elie Mamane <lionel@mamane.lu>]

Package: coq
Version: 8.0pl3-2
Severity: normal

$ dpkg -L coq|grep sty
/usr/share/emacs/site-lisp/coqdoc.sty

That's not a place where LaTeX will find it.

-- System Information:

Versions of packages coq depends on:
ii  coq-libs                     8.0pl3-2    proof assistant for higher-order l
ii  libc6                        2.3.6.ds1-8 GNU C Library: Shared libraries
ii  libncurses5                  5.5-5       Shared libraries for terminal hand

Versions of packages coq recommends:
ii  coqide                        8.0pl3-2   proof assistant for higher-order l
ii  proofgeneral-coq              3.5-3.1    ProofGeneral support for coq

-- no debconf information