diff options
| -rwxr-xr-x | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |