diff options
author | Christopher Arndt <SpotlightKid@users.noreply.github.com> | 2019-11-17 22:35:06 +0100 |
---|---|---|
committer | Filipe Coelho <falktx@falktx.com> | 2019-11-17 21:37:16 +0000 |
commit | 009f674c7f2e475aa022e5a3016e01608c0d9685 (patch) | |
tree | 2fdb29b5ea89a273480eec1c940b50e7e42a6c1e | |
parent | 2ec2e097741363b6e956e92a4650e132017ea6d6 (diff) | |
download | jack1-009f674c7f2e475aa022e5a3016e01608c0d9685.tar.gz |
(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.
-rw-r--r-- | doc/reference.doxygen.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference.doxygen.in b/doc/reference.doxygen.in index 7e6b0e8..c6f80c6 100644 --- a/doc/reference.doxygen.in +++ b/doc/reference.doxygen.in @@ -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 |