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 <miki@amazon.com>

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

..

banner.html

…

copy-curl.html

…

copy.html

…

feedback.html

…

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

…

nav_item.html

…

nav.html

…

toc.html

…

youtube-player.html

…