rdoc generator html with javascript search index.