mirror of
https://github.com/reactos/reactos.git
synced 2025-04-27 17:10:22 +00:00
[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.
This commit is contained in:
parent
93ac724b47
commit
cb8429d76a
1 changed files with 2 additions and 2 deletions
4
Doxyfile
4
Doxyfile
|
@ -1578,7 +1578,7 @@ SERVER_BASED_SEARCH = YES
|
||||||
# The default value is: NO.
|
# The default value is: NO.
|
||||||
# This tag requires that the tag SEARCHENGINE is set to YES.
|
# 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
|
# 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.
|
# which will return the search results when EXTERNAL_SEARCH is enabled.
|
||||||
|
@ -1589,7 +1589,7 @@ EXTERNAL_SEARCH = NO
|
||||||
# Searching" for details.
|
# Searching" for details.
|
||||||
# This tag requires that the tag SEARCHENGINE is set to YES.
|
# 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
|
# 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
|
# search data is written to a file for indexing by an external tool. With the
|
||||||
|
|
Loading…
Reference in a new issue