diff options
Diffstat (limited to 'doc/Doxyfile.in')
| -rw-r--r-- | doc/Doxyfile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in index 7cee2256..ff08c0f1 100644 --- a/doc/Doxyfile.in +++ b/doc/Doxyfile.in @@ -986,7 +986,7 @@ HTML_TIMESTAMP = YES # documentation will contain sections that can be hidden and shown after the # page has loaded. -HTML_DYNAMIC_SECTIONS = NO +HTML_DYNAMIC_SECTIONS = YES # With HTML_INDEX_NUM_ENTRIES one can control the preferred number of # entries shown in the various tree structured indices initially; the user @@ -1245,7 +1245,7 @@ MATHJAX_EXTENSIONS = # typically be disabled. For large projects the javascript based search engine # can be slow, then enabling SERVER_BASED_SEARCH may provide a better solution. -SEARCHENGINE = NO +SEARCHENGINE = YES # When the SERVER_BASED_SEARCH tag is enabled the search engine will be # implemented using a web server instead of a web client using Javascript. |