From 037ac8af04c2f736c2b0b02f484451b5b4efd0ed Mon Sep 17 00:00:00 2001 From: bangerth Date: Wed, 22 Jun 2011 20:03:00 +0000 Subject: [PATCH] Experiment with adding a search engine to the doxygen pages. It 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/doc/doxygen/options.dox.in b/deal.II/doc/doxygen/options.dox.in index dedec40e0a..4286dca8bc 100644 --- a/deal.II/doc/doxygen/options.dox.in +++ b/deal.II/doc/doxygen/options.dox.in @@ -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 -- 2.39.5