diff options
Diffstat (limited to 'common')
-rw-r--r-- | common/waf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/waf.py b/common/waf.py index aa02722..cf679c9 100644 --- a/common/waf.py +++ b/common/waf.py @@ -52,8 +52,8 @@ def cmd_configure(ctx): ctx.load('tex') - if not ctx.env.PDFLATEX: - conf.fatal('The program LaTex is required') + if not ctx.env.PDFLATEX or not ctx.env.MAKEINDEX: + ctx.fatal('The programs pdflatex and makeindex are required') ctx.find_program("sphinx-build", var="BIN_SPHINX_BUILD", mandatory=True) ctx.find_program("aspell", var="BIN_ASPELL", mandatory=False) |