diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-06-03 11:59:03 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:51:45 +0200 |
| commit | c90511bdca134a941999a9dd2a09b5f1c998c0b7 (patch) | |
| tree | 47e56fc28e1e1e18ca08d157af7b1e474433fbf8 /debian/coq.install.in | |
| parent | 38f3239475df052db4e560191c65144b6905c4fe (diff) | |
Update packaging according to upstream changes
Diffstat (limited to 'debian/coq.install.in')
| -rw-r--r-- | debian/coq.install.in | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in index ba265336..f46cd96e 100644 --- a/debian/coq.install.in +++ b/debian/coq.install.in @@ -2,14 +2,11 @@ usr/bin/coqc* usr/bin/coqdep* usr/bin/coqdoc* usr/bin/coq_makefile* -usr/bin/coq-interface* -usr/bin/coq-parser* usr/bin/coq-tex* usr/bin/coqtop* usr/bin/coqwc* usr/bin/gallina* -usr/lib/coq/contrib/micromega/csdpcert -usr/lib/coq/contrib/interface/vernacrc +usr/lib/coq/plugins/micromega/csdpcert usr/lib/coq/tools/coqdoc/coqdoc.css usr/lib/coq/tools/coqdoc/coqdoc.sty usr/lib/coq/states/initial.coq @@ -18,8 +15,6 @@ usr/share/man/man1/coqc* usr/share/man/man1/coqdep* usr/share/man/man1/coqdoc* usr/share/man/man1/coq_makefile* -usr/share/man/man1/coq-interface* -usr/share/man/man1/coq-parser* usr/share/man/man1/coq-tex* usr/share/man/man1/coqtop* usr/share/man/man1/coqwc* |