diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-07-26 17:45:43 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-26 19:06:32 -0400 |
| commit | b0822e4ca2bc0e1b89624acd9d7e4e942c99d97e (patch) | |
| tree | ab562dc0fdf6946ed77422c7b8ea0689b3316c84 /debian | |
| parent | 88a1583d1988bb1accea3234916e1ec688332889 (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')
| -rwxr-xr-x | debian/rules | 4 |
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 |