summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wscript1
1 files changed, 1 insertions, 0 deletions
diff --git a/wscript b/wscript
index 72604a0086..cb12a3e37d 100644
--- a/wscript
+++ b/wscript
@@ -53,6 +53,7 @@ build_options = [
'name': '--pdf-build',
'desc': 'pdf manual generation',
'func': check_ctx_vars('RST2PDF'),
+ 'default': 'disable',
}, {
'name': 'libdl',
'desc': 'dynamic loader',