From 9b495a2980fa43ad2fad1ce478e6f983a54fb42f Mon Sep 17 00:00:00 2001
From: Amar Takhar <amar@rtems.org>
Date: Tue, 19 Jan 2016 21:48:37 -0500
Subject: Remove incorrect pdflatex/makeindex check.

---
 common/waf.py | 4 ----
 1 file changed, 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:
-- 
cgit v1.2.3