Bug#409027: coqdoc.sty in wrong place

2007-01-31 Thread Samuel Mimram
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

Bug#409027: coqdoc.sty in wrong place

2007-01-30 Thread Ralf Treinen
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 /u

Bug#409027: coqdoc.sty in wrong place

2007-01-30 Thread Lionel Elie Mamane
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-2proof assistant for higher-order l i