Allow excluding documentation from the build

2024-12-06 19:41:15 +01:00 · 2019-06-16 20:18:30 +03:00
parent 319ce22581
commit 66a15013fa
3 changed files with 32 additions and 5 deletions
@@ -0,0 +1,4 @@
+  o Minor features (build system):
+    - Add --disable-manpage and --disable-html-manual options to configure
+      script. This will enable shortening build times by not building
+      documentation. Resolves issue 19381.