diff options
Diffstat (limited to 'docs/doxygen.cfg.in')
| -rw-r--r-- | docs/doxygen.cfg.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/doxygen.cfg.in b/docs/doxygen.cfg.in index 25614cd670..0ed686b934 100644 --- a/docs/doxygen.cfg.in +++ b/docs/doxygen.cfg.in @@ -1081,6 +1081,8 @@ SEARCHENGINE = @enable_searchengine@ SERVER_BASED_SEARCH = @enable_server_based_search@ +SEARCHENGINE_URL = @searchengine_url@ + EXTERNAL_SEARCH = @enable_external_search@ EXTERNAL_SEARCH_ID = llvm |