generate HTML subtrees from javadoc snippets