tree 2d0b6b388776e66867ead72e0cf6c1dd28af2f4b
parent 141d04ba749f93490561b8253794b99490b801eb
author Daniel Veillard <veillard@src.gnome.org> 1033989207 +0000
committer Daniel Veillard <veillard@src.gnome.org> 1033989207 +0000

improved HTML indexing make the queries also lookup the HTML based indexes

* doc/index.py: improved HTML indexing
* doc/search.php: make the queries also lookup the HTML based indexes
Daniel