diff options
-rwxr-xr-x | debian-devel/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian-devel/rules b/debian-devel/rules index 012d7d40a..0fb3b21cb 100755 --- a/debian-devel/rules +++ b/debian-devel/rules @@ -7,7 +7,7 @@ $(BUILDDIR)/Makefile: cd $(BUILDDIR) && \ cmake .. \ -DCMAKE_INSTALL_PREFIX:FILEPATH=/usr \ - -DENABLE_DOC:BOOL=OFF \ + -DENABLE_DOC:BOOL=ON \ -DENABLE_MAN:BOOL=ON \ -DCMAKE_BUILD_TYPE:STRING=RelWithDebInfo \ -DCMAKE_C_FLAGS_RELWITHDEBINFO:STRING="$(CFLAGS) -D_FORTIFY_SOURCE=2" \ |