From f66d1a48ed27e53ac4a68f916edf259f610c0b2e Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 3 Jun 2010 11:55:35 +0200 Subject: Install plugins in (new) binary package libcoq-ocaml --- debian/coq.install.in | 1 - 1 file changed, 1 deletion(-) (limited to 'debian/coq.install.in') diff --git a/debian/coq.install.in b/debian/coq.install.in index f46cd96e..2c0f9c86 100644 --- a/debian/coq.install.in +++ b/debian/coq.install.in @@ -19,7 +19,6 @@ usr/share/man/man1/coq-tex* usr/share/man/man1/coqtop* usr/share/man/man1/coqwc* usr/share/man/man1/gallina* -usr/lib/coq/dllcoqrun.so @OCamlDllDir@ usr/share/emacs/site-lisp/coqdoc.sty usr/share/texmf/tex/latex/misc/ debian/coq.xpm usr/share/pixmaps debian/coqvars.mk usr/share/coq -- cgit v1.2.3