Miki f97cd15b7d Use the modified dates of files in the sitemap (#3774) ...

* The extracted dates are also added as a comment to the `head` of HTML pages

Signed-off-by: Miki <[email protected]>

2023-04-14 12:03:52 -04:00

..

banner.html

Move background size to css (#2962)

2023-02-20 11:08:20 -05:00

copy-curl.html

Adds documentation site changes (sticky nav, copy button, back to top button) (#2043)

2022-12-02 12:03:46 -05:00

copy.html

Adds documentation site changes (sticky nav, copy button, back to top button) (#2043)

2022-12-02 12:03:46 -05:00

feedback.html

Revert "Add edit page link with versions (#2958)" (#2960)

2023-02-17 17:35:26 -05:00

footer.html

…

head_custom.html

Use the modified dates of files in the sitemap (#3774)

2023-04-14 12:03:52 -04:00

header.html

Adopts the new top nav from the website (#984)

2022-08-29 13:07:08 -05:00

nav_item.html

…

nav.html

…

toc.html

…

youtube-player.html

Adds video capability (#2354)

2023-02-08 18:44:26 -05:00