doc: Make it easier to report issues in the documentation

- Add extension to get git metadata (date, SHA-1, ...) regarding the
  latest update made to a page
- Add date of last "actual" update to each manually authored doc page
- Add admonition inviting to report issues
- Add button in breadcrumb to report issue

Fixes #60622.

Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>
This commit is contained in:
Benjamin Cabé 2023-08-17 15:42:07 +02:00 committed by Carles Cufí
commit 701f59ee1e
5 changed files with 144 additions and 1 deletions

View file

@ -84,6 +84,7 @@ extensions = [
"zephyr.doxyrunner",
"zephyr.vcs_link",
"zephyr.manifest_projects_table",
"zephyr.git_info",
"notfound.extension",
"sphinx_copybutton",
"sphinx_togglebutton",