diff options
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 $@ |