]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Experiment with adding a search engine to the doxygen pages. It
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 22 Jun 2011 20:03:00 +0000 (20:03 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 22 Jun 2011 20:03:00 +0000 (20:03 +0000)
doesn't quite work on my local machine, so see how it comes out on the
server.

git-svn-id: https://svn.dealii.org/trunk@23851 0785d39b-7218-0410-832d-ea1e28bc413d

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

index dedec40e0ae9769ad8ec86496452ddf7d0a54912..4286dca8bc96ee17d4ed84063afffcf36af1193c 100644 (file)
@@ -1236,4 +1236,4 @@ DOT_CLEANUP            = YES
 # The SEARCHENGINE tag specifies whether or not a search engine should be
 # used. If set to NO the values of all tags below this one will be ignored.
 
-SEARCHENGINE           = NO
+SEARCHENGINE           = YES

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.