diff options
Diffstat (limited to 'examples/page.cfg')
| -rw-r--r-- | examples/page.cfg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/page.cfg b/examples/page.cfg index 972368a..8212978 100644 --- a/examples/page.cfg +++ b/examples/page.cfg @@ -10,3 +10,4 @@ JAVADOC_AUTOBRIEF = YES SEARCHENGINE = NO COMPACT_LATEX = YES LATEX_HIDE_INDICES = YES +WARN_AS_ERROR = YES |