From 105f555d1b657946028de3cba2e0315587578086 Mon Sep 17 00:00:00 2001 From: bangerth Date: Sun, 26 Jun 2011 00:04:29 +0000 Subject: [PATCH] Also set SERVER_BASED_SEARCH to NO. git-svn-id: https://svn.dealii.org/trunk@23860 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/doxygen/options.dox.in | 1 + 1 file changed, 1 insertion(+) diff --git a/deal.II/doc/doxygen/options.dox.in b/deal.II/doc/doxygen/options.dox.in index 8e7f9190a3..848ff9d8ce 100644 --- a/deal.II/doc/doxygen/options.dox.in +++ b/deal.II/doc/doxygen/options.dox.in @@ -1237,3 +1237,4 @@ DOT_CLEANUP = YES # used. If set to NO the values of all tags below this one will be ignored. SEARCHENGINE = YES +SERVER_BASED_SEARCH = NO -- 2.39.5