Commit 9b00613d0583e2bca7589257bc32984d5b358a10
2002-10-07T11:13:27
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