feat: Add links to tools, so people know where to file issues. (#4851)

* feat: Add links to tools, so people know where to file issues.

* Remove spurious character
This commit is contained in:
Lars Eggert 2022-12-08 21:58:04 +02:00 committed by GitHub
parent 44c38abbbb
commit 7991dadc5e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -150,15 +150,15 @@
</p>
{% if request.COOKIES.htmlconf != 'html' and html %}
<div class="alert alert-info small">
You are viewing the legacy <code>rfc2html</code>
You are viewing the legacy <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/rfc2html">rfc2html</a></code>
rendering of this document. Change the
preferences for a modern <code>xml2rfc</code>-based
preferences for a modern <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/xml2rfc">xml2rfc</a></code>-based
HTMLization.
</div>
{% elif request.COOKIES.htmlconf == 'html' and not html %}
<div class="alert alert-info small">
You are viewing the legacy <code>rfc2html</code>
rendering, because no <code>xml2rfc</code>-generated
You are viewing the legacy <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/rfc2html">rfc2html</a></code>
rendering, because no <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/xml2rfc">xml2rfc</a></code>-generated
HTML is available for this document.
</div>
{% endif %}