diff options
Diffstat (limited to 'examples/javadoc-banner.cfg')
-rw-r--r-- | examples/javadoc-banner.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/javadoc-banner.cfg b/examples/javadoc-banner.cfg index 0e5d55a..f9a6ff8 100644 --- a/examples/javadoc-banner.cfg +++ b/examples/javadoc-banner.cfg @@ -13,4 +13,4 @@ SEARCHENGINE = NO COMPACT_LATEX = YES LATEX_HIDE_INDICES = YES EXTRACT_ALL = YES -WARN_AS_ERROR = YES +WARN_AS_ERROR = FAIL_ON_WARNINGS |