Add a link to the new generated HTML document, and mention the .adoc
file so people can find it in the future.