]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Also set SERVER_BASED_SEARCH to NO.
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 26 Jun 2011 00:04:29 +0000 (00:04 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 26 Jun 2011 00:04:29 +0000 (00:04 +0000)
git-svn-id: https://svn.dealii.org/trunk@23860 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/doxygen/options.dox.in

index 8e7f9190a35116ca8470996896bc0b510c1f799c..848ff9d8ce549f1086eab697c7f2c9205f91b263 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.