diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-07-28 15:55:17 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-07-28 15:55:17 +0200 |
| commit | be8dd49cdf08dbeae0d6f36b717a54793418086b (patch) | |
| tree | 39d0d059e10b979bfb7b2502b62f811d58aa2b16 | |
| parent | 4cc16f522c193923b93d38d637a6dcae1e1a96b7 (diff) | |
Install also *.cm[iox] files
| -rw-r--r-- | debian/coq.install | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/debian/coq.install b/debian/coq.install index 59bcb594..c0817f79 100644 --- a/debian/coq.install +++ b/debian/coq.install @@ -8,8 +8,7 @@ usr/bin/coq-tex usr/bin/coqtop* usr/bin/coqwc usr/bin/gallina -usr/lib/coq/*.cma -usr/lib/coq/*.cmxa +usr/lib/coq/*.cm* usr/lib/coq/tools/coqdoc/ usr/share/emacs/site-lisp/coq/* usr/share/man/man1/c* |