summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmar Takhar <amar@rtems.org>2016-01-19 21:48:37 -0500
committerAmar Takhar <verm@darkbeer.org>2016-05-02 20:51:25 -0400
commit9b495a2980fa43ad2fad1ce478e6f983a54fb42f (patch)
tree137ab13c52e90de958330764ad33af2758d7fc5e
parent7c1f2154d638d9c382334490382a747ad873522e (diff)
downloadrtems-docs-9b495a2980fa43ad2fad1ce478e6f983a54fb42f.tar.bz2
Remove incorrect pdflatex/makeindex check.
-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: