4228daad55
Split the /doc/ tabs into separate pages. Use <link rel=prefetch> to ask the tabs to be prefetched when the first tab is loaded, as documented at https://developer.mozilla.org/en/Link_prefetching_FAQ . This fixes #533. - Legacy-Id: 2630 Note: SVN reference [2613] has been migrated to Git commit 9391941b867e2f7ce24369be9df009d0ceda9e95
6 lines
103 B
HTML
6 lines
103 B
HTML
{% if info.is_rfc %}
|
|
RFC {{ doc.rfc_number }}
|
|
{% else %}
|
|
{{ doc.draft_name_and_revision }}
|
|
{% endif %}
|