aboutsummaryrefslogtreecommitdiff
path: root/changes/ticket19381
diff options
context:
space:
mode:
authorrl1987 <rl1987@sdf.lonestar.org>2019-06-16 20:18:30 +0300
committerrl1987 <rl1987@sdf.lonestar.org>2019-06-16 20:21:30 +0300
commit66a15013fa5abf3c4d3345ca29c22ad13d45e22f (patch)
tree89b0aaf31ad6b6ded4e58ae195a985e5531c8684 /changes/ticket19381
parent319ce225815897d8626e85037ee203c4de634405 (diff)
downloadtor-66a15013fa5abf3c4d3345ca29c22ad13d45e22f.tar.gz
tor-66a15013fa5abf3c4d3345ca29c22ad13d45e22f.zip
Allow excluding documentation from the build
Diffstat (limited to 'changes/ticket19381')
-rw-r--r--changes/ticket193814
1 files changed, 4 insertions, 0 deletions
diff --git a/changes/ticket19381 b/changes/ticket19381
new file mode 100644
index 0000000000..ee51e2a3e2
--- /dev/null
+++ b/changes/ticket19381
@@ -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.