diff options
author | Mark Griffiths <mark@thebespokepixel.com> | 2014-08-05 18:09:15 +0100 |
---|---|---|
committer | Mark Griffiths <mark@thebespokepixel.com> | 2014-09-03 14:43:25 +0100 |
commit | 07f8fc7697ca387ae84d8b9c9755b087f481931c (patch) | |
tree | 3014628cf4a151a90dec01ee163fb92c2142c188 /build_tools | |
parent | def76666094dbbd5a329a4ee9865fb75f074a9f0 (diff) |
Update autoconf and README for Doxygen 1.8
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/build_documentation.sh | 6 |
1 files changed, 6 insertions, 0 deletions
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}'" |