# HG changeset patch
# User daedric <d43dr1c@gmail.com>
# Date 1269790533 -7200
# Node ID 3b8469fa0fd7f306195a6ae4d550f9828297fc08
# Parent  b3ccbe25ab75e5f0a0cdf7e51baa3f743101edaa
Activate search engine

diff -r b3ccbe25ab75 -r 3b8469fa0fd7 StreamIt.doxyfile
--- a/StreamIt.doxyfile	Sun Mar 28 13:27:39 2010 +0200
+++ b/StreamIt.doxyfile	Sun Mar 28 17:35:33 2010 +0200
@@ -244,4 +244,4 @@
 #---------------------------------------------------------------------------
 # Configuration::additions related to the search engine   
 #---------------------------------------------------------------------------
-SEARCHENGINE           = NO
+SEARCHENGINE           = YES