From 9f6e9a51c2fba32ea2373aee7e2879c22bb8a0e5 Mon Sep 17 00:00:00 2001
From: Gard Spreemann <gspreemann@gmail.com>
Date: Thu, 9 Feb 2017 23:40:04 +0100
Subject: Build documentation package libgudhi-doc.

---
 debian/rules | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
index 966071e5..2bfc3eeb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,14 +6,18 @@ CXXFLAGS:=$(shell dpkg-buildflags --get CXXFLAGS)
 LDFLAGS:=$(shell dpkg-buildflags --get LDFLAGS)
 
 %:
-	dh $@
+# The --buildirectory=build is there so that we can easily get a hold
+# of documentation and examples, which are not installed by upstream.
+	dh $@ --builddirectory=build
 
 override_dh_auto_clean:
 	rm -f GUDHIVersion.cmake
+	rm -rf doc/html
 	dh_auto_clean
 
-override_dh_auto_install:
-	dh_auto_install --destdir=debian/tmp/
+override_dh_auto_build:
+	make -C build doxygen
+	dh_auto_build
 
 
 
-- 
cgit v1.2.3