summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-07-26 17:45:43 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-07-26 19:06:32 -0400
commitb0822e4ca2bc0e1b89624acd9d7e4e942c99d97e (patch)
treeab562dc0fdf6946ed77422c7b8ea0689b3316c84 /debian/rules
parent88a1583d1988bb1accea3234916e1ec688332889 (diff)
Unbreak the build
Commit 85c3ede broke the build – giving dh a override_dh_auto_build overrides override_dh_auto_build-{arch,indep}, so after commit 85c3ede, the documentation never got built at all and assembling packages failed. Fortunately, with 85c3ede applied, we don’t actually need to override dh_auto_build anymore, so get rid of the override_dh_auto_build and build documentation in override_dh_auto_build-indep.
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules4
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/rules b/debian/rules
index b9419d7d..d6d148aa 100755
--- a/debian/rules
+++ b/debian/rules
@@ -21,10 +21,6 @@ override_dh_auto_configure:
LIB=/usr/lib/$(DEB_HOST_MULTIARCH) \
SRCLIB=/usr/share/urweb dh_auto_configure --
-.PHONY: override_dh_auto_build
-override_dh_auto_build:
- make
-
.PHONY: override_dh_auto_build-indep
override_dh_auto_build-indep:
cd doc && make manual.pdf