This builds some metadata and auxiliary files, for example the HTML manual page.