From c29d132351cbb720d8bb0b5edfb72813e4fa51d4 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Tue, 10 Mar 2015 21:11:43 -0400 Subject: Create doc package --- debian/rules | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'debian/rules') diff --git a/debian/rules b/debian/rules index 6374aa4d..fe5e3f3d 100755 --- a/debian/rules +++ b/debian/rules @@ -17,6 +17,11 @@ export MLTONARGS := \ override_dh_auto_configure: SRCLIB=/usr/share/urweb dh_auto_configure +.PHONY: override_dh_auto_build +override_dh_auto_build: + make + cd doc && make manual.pdf + .PHONY: override_dh_builddeb override_dh_builddeb: dh_builddeb -- -Zxz -z9 -- cgit v1.2.3