From 07f8fc7697ca387ae84d8b9c9755b087f481931c Mon Sep 17 00:00:00 2001
From: Mark Griffiths <mark@thebespokepixel.com>
Date: Tue, 5 Aug 2014 18:09:15 +0100
Subject: Update autoconf and README for Doxygen 1.8

---
 build_tools/build_documentation.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'build_tools')

diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh
index 2705898e..77eaad68 100755
--- a/build_tools/build_documentation.sh
+++ b/build_tools/build_documentation.sh
@@ -68,6 +68,12 @@ if test -z "$DOXYGENPATH"; then
     exit 0
 fi
 
+# Check we have the lexicon filter
+if test -z "$INPUT_FILTER"; then
+    echo >&2 "Lexicon filter is not available. Continuing without."
+    INPUTFILTER=''
+fi
+
 # Determine where our output should go
 if ! mkdir -p "${OUTPUTDIR}" ; then
     echo "Could not create output directory '${OUTPUTDIR}'"
-- 
cgit v1.2.3