diff options
Diffstat (limited to 'debian/coq.install.in')
-rw-r--r-- | debian/coq.install.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in index f2f5339f..8bc58451 100644 --- a/debian/coq.install.in +++ b/debian/coq.install.in @@ -16,7 +16,6 @@ usr/lib/coq/tools/coqdoc/coqdoc.sty usr/lib/coq/tools/make-both-single-timing-files.py => usr/lib/coq/tools/make-both-single-timing-files usr/lib/coq/tools/make-both-time-files.py => usr/lib/coq/tools/make-both-time-files usr/lib/coq/tools/make-one-time-file.py => usr/lib/coq/tools/make-one-time-file -usr/share/emacs/site-lisp/coq/ usr/share/man/man1/coqc* usr/share/man/man1/coqdep* usr/share/man/man1/coqdoc* |