From: bangerth Date: Sun, 26 Jun 2011 00:04:29 +0000 (+0000) Subject: Also set SERVER_BASED_SEARCH to NO. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=105f555d1b657946028de3cba2e0315587578086;p=dealii-svn.git Also set SERVER_BASED_SEARCH to NO. git-svn-id: https://svn.dealii.org/trunk@23860 0785d39b-7218-0410-832d-ea1e28bc413d --- 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