From e657698c556b84d24e9a87fed0c49d3cb08d5093 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Dec 2018 15:17:22 -0500 Subject: Update coqdoc.sty installation path MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit https://github.com/coq/coq/commit/5b506165097047aa8b6b431db9f2cbc8dbf6c3de corrected the installation path in upstream’s build process. --- debian/coq.install.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/coq.install.in b/debian/coq.install.in index de06ab23..f8556a60 100644 --- a/debian/coq.install.in +++ b/debian/coq.install.in @@ -19,6 +19,6 @@ usr/share/man/man1/coq-tex* usr/share/man/man1/coqtop* usr/share/man/man1/coqwc* usr/share/man/man1/gallina* -usr/share/emacs/site-lisp/coqdoc.sty usr/share/texmf/tex/latex/misc/ +usr/share/texmf/tex/latex/misc/coqdoc.sty debian/coq.xpm usr/share/pixmaps debian/coqvars.mk usr/share/coq -- cgit v1.2.3