From af33ef203bf215315c4af3ee925241999ec1243c Mon Sep 17 00:00:00 2001 From: Didier Raboud Date: Thu, 20 Dec 2012 08:06:49 +0100 Subject: Install docs during make install --- debian/rules | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'debian') diff --git a/debian/rules b/debian/rules index 24673fd..6635d10 100755 --- a/debian/rules +++ b/debian/rules @@ -7,7 +7,8 @@ --dbg-package=colobot-dbg override_dh_auto_configure: - dh_auto_configure -- -DCMAKE_BUILD_TYPE:STRING="RelWithDebInfo" + dh_auto_configure -- -DCMAKE_BUILD_TYPE:STRING="RelWithDebInfo" \ + -DINSTALL_DOCS:BOOL=True override_dh_auto_build: dh_auto_build -a -- cgit v1.2.3-1-g7c22