From 23add1ac149ae45a042cc68054f9cce2d0924ac5 Mon Sep 17 00:00:00 2001 From: Sebastien Helleu Date: Wed, 31 Jul 2013 18:56:21 +0200 Subject: [PATCH] core: add build of man page in debian/rules --- debian/rules | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/rules b/debian/rules index 80e1dc01a..f9af7b743 100755 --- a/debian/rules +++ b/debian/rules @@ -14,6 +14,7 @@ $(BUILDDIR)/Makefile: mkdir -p $(BUILDDIR) cd $(BUILDDIR) && \ cmake .. \ + -DENABLE_MAN:BOOL=ON \ -DENABLE_DOC:BOOL=ON \ -DCMAKE_INSTALL_PREFIX:FILEPATH=/usr \ -DCMAKE_BUILD_TYPE:STRING=RelWithDebInfo \