Generate HTML docs as well