diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-01 07:28:06 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 11:10:06 +0100 |
| commit | 277eee0a26f50107a302957a9dff7119afae84c2 (patch) | |
| tree | 3ac4c7572af596322ec398065c6d942ebe1e38dd /debian/rules | |
| parent | 862c8a23a8f1314f8b7764a54faae30824abdc4a (diff) | |
Rename binary package coq-libs -> coq-theories
Rationale: the name coq-libs is rather confusing for the contents of
this package. There is no doubt on the contents of the package with
coq-theories.
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 3de9b108..4e502a8f 100755 --- a/debian/rules +++ b/debian/rules @@ -73,12 +73,12 @@ install-stamp: build-stamp -regex '.*\.(cm[aoxi]|cmxa|[ao])$$' \ >> debian/libcoq-ocaml-dev.install find debian/tmp -name '*.vo' -printf '%P\n' \ - >> debian/coq-libs.install + >> debian/coq-theories.install dh_install --list-missing cp debian/coq.xpm debian/coq/usr/share/pixmaps cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm cp debian/coqide.desktop debian/coqide/usr/share/applications - cp -r doc/stdlib/html debian/coq-libs/usr/share/doc/coq-libs/ + cp -r doc/stdlib/html debian/coq-theories/usr/share/doc/coq-theories/ dh install --after dh_install touch $@ |