Browse Source

(Re-)Enable search engine for API docs

This was enabled on https://jackaudio.org/api/ before, but changed when the API docs were updated a while ago, after they hadn't been updated for years.
pull/90/head
Christopher Arndt GitHub 6 years ago
parent
commit
23cc084592
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      doc/reference.doxygen.in

+ 1
- 1
doc/reference.doxygen.in View File

@@ -1369,7 +1369,7 @@ DOT_CLEANUP = YES
# The SEARCHENGINE tag specifies whether or not a search engine should be
# used. If set to NO the values of all tags below this one will be ignored.

SEARCHENGINE = NO
SEARCHENGINE = YES

# newer stuff
HTML_DYNAMIC_MENUS = NO

Loading…
Cancel
Save