From 85c3ede7943ab945c7548a6b906784e3df1b8585 Mon Sep 17 00:00:00 2001 From: Gustavo Prado Alkmim Date: Thu, 9 Jul 2015 10:04:34 +0000 Subject: Build documentation as part of build-indep (closes Debian #790512) --- debian/rules | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debian/rules b/debian/rules index 329e03ad..103cb760 100755 --- a/debian/rules +++ b/debian/rules @@ -23,6 +23,9 @@ override_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 .PHONY: override_dh_builddeb -- cgit v1.2.3