diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 15:17:22 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:43 -0500 |
commit | e657698c556b84d24e9a87fed0c49d3cb08d5093 (patch) | |
tree | 1904049f81c0f93241198327631bc98f0c51eaff | |
parent | a946e9959296cedf2540622c1b332a3ccbee4009 (diff) |
Update coqdoc.sty installation path
https://github.com/coq/coq/commit/5b506165097047aa8b6b431db9f2cbc8dbf6c3de
corrected the installation path in upstream’s build process.
-rw-r--r-- | debian/coq.install.in | 2 |
1 files changed, 1 insertions, 1 deletions
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 |