diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 19:11:41 +0000 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 19:11:41 +0000 |
| commit | 7f1cd75c44a5bbcbec687f07800f8e2c95386f8f (patch) | |
| tree | 9b50f5e59bed1daa6a198caa78701b19e4ed1dc7 | |
| parent | c652c4702cf18354cbc7b9b4f5b9677658c5035f (diff) | |
Removed coq-interface manpage.
| -rw-r--r-- | debian/coq.install | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/debian/coq.install b/debian/coq.install index 155e13af..88bea7d4 100644 --- a/debian/coq.install +++ b/debian/coq.install @@ -9,6 +9,13 @@ usr/bin/coqtop* usr/bin/coqwc usr/bin/gallina usr/share/emacs/site-lisp/coq -usr/share/man/man1/c* +usr/share/man/man1/coqc.1 +usr/share/man/man1/coqdep.1 +usr/share/man/man1/coqdoc.1 +usr/share/man/man1/coq_makefile.1 +usr/share/man/man1/coqmktop.1 +usr/share/man/man1/coq-tex.1 +usr/share/man/man1/coqtop* +usr/share/man/man1/coqwc.1 usr/share/man/man1/gallina.1 usr/share/texmf/tex/latex/misc/* |