https://git.reactos.org/?p=reactos.git;a=commitdiff;h=cb8429d76a1710d68a3b6c29e3f87ebe71579869
commit cb8429d76a1710d68a3b6c29e3f87ebe71579869
Author: Colin Finck <co...@reactos.org>
AuthorDate: Thu Dec 6 15:13:40 2018 +0100
Commit: Colin Finck <co...@reactos.org>
CommitDate: Thu Dec 6 15:13:40 2018 +0100
[DOXYGEN] Enable EXTERNAL_SEARCH, because this seems to be the most
sophisticated Doxygen search feature and the PHP-based search isn't compatible
with PHP7 yet.
---
Doxyfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Doxyfile b/Doxyfile
index b79fed8cb8..74dd35fc27 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -1578,7 +1578,7 @@ SERVER_BASED_SEARCH = YES
# The default value is: NO.
# This tag requires that the tag SEARCHENGINE is set to YES.
-EXTERNAL_SEARCH = NO
+EXTERNAL_SEARCH = YES
# The SEARCHENGINE_URL should point to a search engine hosted by a web server
# which will return the search results when EXTERNAL_SEARCH is enabled.
@@ -1589,7 +1589,7 @@ EXTERNAL_SEARCH = NO
# Searching" for details.
# This tag requires that the tag SEARCHENGINE is set to YES.
-SEARCHENGINE_URL =
+SEARCHENGINE_URL = https://doxygen.reactos.org/doxysearch.cgi
# When SERVER_BASED_SEARCH and EXTERNAL_SEARCH are both enabled the unindexed
# search data is written to a file for indexing by an external tool. With the
