It would be handy if the generated documentation provided features to search the documentation. For instance a search box in HTML format or a index in HTML Help format.
Log in to post a comment.
