diff options
author | Amar Takhar <amar@rtems.org> | 2016-01-19 21:48:37 -0500 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:25 -0400 |
commit | 9b495a2980fa43ad2fad1ce478e6f983a54fb42f (patch) | |
tree | 137ab13c52e90de958330764ad33af2758d7fc5e | |
parent | Only require makeindex and pdflatex when trying to build PDF. (diff) | |
download | rtems-docs-9b495a2980fa43ad2fad1ce478e6f983a54fb42f.tar.bz2 |
Remove incorrect pdflatex/makeindex check.
-rw-r--r-- | common/waf.py | 4 |
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: |