We only generate the page when configured "--with-docs", because we need xsl stylesheets that are pulled in by gtk-doc.