adding doc for the search framework

[mir.git] / doc / developers-guide / introduction.xml

diff --git a/doc/developers-guide/introduction.xml b/doc/developers-guide/introduction.xml
index 9fcab14..a1a26b8 100755 (executable)
--- a/doc/developers-guide/introduction.xml
+++ b/doc/developers-guide/introduction.xml
@@ -235,12 +235,20 @@ by the <code>&lt;IndexContent&gt;</code> node.
 In other words, when Mir generates a static html page for an article,
 it also creates <classname>SearchTerm</classname>'s and inserts
 them into the index. 
-By default, the index file is stored in <filename>FIXME</filename>.
+By default, the index file is stored in <filename>bin/mir/WEB-INF/index</filename>.
 </para>
 <para>
 Search queries are managed by <function>ServletModuleContent.search()</function>
+Search results are stored by tomcat in
+the user's session for the purposes of pagination and sorting.
+</para>
+<para>
+The design of the indexing and searching make it completely
+independent of the database once the content is indexed.
+</para>
+<para>
+More information  is available in <xref linkend="search_framework" />. 
 </para>
-
        </glossdef>
 </glossentry>