summaryrefslogtreecommitdiffstats
path: root/common/waf.py
diff options
context:
space:
mode:
Diffstat (limited to 'common/waf.py')
-rw-r--r--common/waf.py4
1 files changed, 0 insertions, 4 deletions
diff --git a/common/waf.py b/common/waf.py
index e407fe9..ef92a71 100644
--- a/common/waf.py
+++ b/common/waf.py
@@ -116,10 +116,6 @@ def html_resources(ctx):
def cmd_build(ctx, conf_dir=".", source_dir="."):
srcnode = ctx.srcnode.abspath()
- if not ctx.env.PDFLATEX or not ctx.env.MAKEINDEX:
- ctx.fatal('The programs pdflatex and makeindex are required')
-
-
if ctx.options.pdf:
doc_pdf(ctx, source_dir, conf_dir)
elif ctx.options.singlehtml: