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 7dd9ee2..cd1ff84 100644 --- a/examples/page.cfg +++ b/examples/page.cfg @@ -7,3 +7,4 @@ CASE_SENSE_NAMES = NO INPUT = page.doc QUIET = YES JAVADOC_AUTOBRIEF = YES +SEARCHENGINE = NO |