diff options
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 222bd32..830ece1 100755 --- a/debian/rules +++ b/debian/rules @@ -71,6 +71,6 @@ override_dh_installdocs: dh_installdocs -p open-axiom-hypertex --link-doc=open-axiom dh_installdocs --remaining-packages -clean build install binary binary-arch binary-indep: +clean build build-arch build-indep install binary binary-arch binary-indep: dh $@ --builddir=$(BUILD) |