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