From 23cc084592762fdafdcc4c26cd11cf98d0a36f26 Mon Sep 17 00:00:00 2001 From: Christopher Arndt Date: Sun, 17 Nov 2019 22:35:06 +0100 Subject: [PATCH] (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. --- doc/reference.doxygen.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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