diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index e830a3235a..502049174a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -21,9 +21,10 @@ $(PROJ_OBJ_DIR)/doxygen.cfg: doxygen.cfg.in -e 's/@PACKAGE_VERSION@/mainline/' \ -e 's/@abs_top_builddir@/../g' \ -e 's/@enable_searchengine@/NO/g' \ - -e 's/@enable_server_based_search@/NO/g' \ + -e 's/@searchengine_url@//g' \ + -e 's/@enable_server_based_search@/NO/g' \ -e 's/@enable_external_search@/NO/g' \ - -e 's/@extra_search_mappings@/NO/g' > $@ + -e 's/@extra_search_mappings@//g' > $@ endif include $(LEVEL)/Makefile.common |