diff options
Diffstat (limited to 'common/waf.py')
-rw-r--r-- | common/waf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/waf.py b/common/waf.py index 0b24f0b..ba63409 100644 --- a/common/waf.py +++ b/common/waf.py @@ -65,6 +65,8 @@ def check_sphinx_version(ctx, minver): def cmd_configure(ctx): ctx.load('tex') + ctx.env.append_value('PDFLATEXFLAGS', '-shell-escape') + ctx.find_program("sphinx-build", var="BIN_SPHINX_BUILD", mandatory=True) ctx.find_program("aspell", var="BIN_ASPELL", mandatory=False) ctx.find_program("inliner", var="BIN_INLINER", mandatory=False) |