doc: Rename "report an issue" label

Clarify the "Report an issue" label in HTML documentation.

Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>
This commit is contained in:
Benjamin Cabé 2023-11-03 16:34:41 +01:00 committed by Carles Cufí
parent 6cf694a2ad
commit 7d3381f9c8

View file

@ -26,7 +26,7 @@
{%- set git_last_updated, sha1 = pagename | git_info | default((None, None), true) %} {%- set git_last_updated, sha1 = pagename | git_info | default((None, None), true) %}
{%- if sha1 %} {%- if sha1 %}
<a href="{{ pagename | gh_link_get_open_issue_url(sha1) }}" class="fa fa-bug"> <a href="{{ pagename | gh_link_get_open_issue_url(sha1) }}" class="fa fa-bug">
{{ _('Report an issue')}} {{ _('Report an issue with this page')}}
</a> </a>
{% endif %} {% endif %}
{% endif %} {% endif %}