diff options
author | Mark Griffiths <mark@thebespokepixel.com> | 2014-08-05 18:43:33 +0100 |
---|---|---|
committer | Mark Griffiths <mark@thebespokepixel.com> | 2014-09-03 14:43:26 +0100 |
commit | 14a711849925748aa48b6512b1a0ad106d3b00f0 (patch) | |
tree | d411a84c08821c0dc1136762ec357246e4690e95 /build_tools | |
parent | afdabd97ff2f0b8a3f52565e0a6306d1bfdc44fe (diff) |
Revert 60b9f8d..e4d6eaf
This rolls back to commit 60b9f8db18b8889c3db864e443ee113d897bfe72.
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/build_documentation.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 77eaad68..2705898e 100755 --- a/build_tools/build_documentation.sh +++ b/build_tools/build_documentation.sh @@ -68,12 +68,6 @@ 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}'" |