David B. Kinder 81336a8ee4 doc: use Sphinx extension for showing last updated date in footers ... Remove the proof-of-concept shell script that post-processes the generated HTML to add the git date when the corresponding .rst file as the last modified date, augmenting the existing published date. Instead, use a custom last_updated.py Sphinx extension that's integrated into the Sphinx build itself. Remove the old fix-git-modified-date.sh script and calls to it. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>		2022-03-18 11:05:50 -07:00
..
eager_only.py	doc: add extension to create files and raw links	2020-11-05 09:17:05 -08:00
html_redirects.py	doc: continue doc restructuring	2019-08-01 14:07:22 -07:00
kerneldoc.py	doc: prepare for sphinx 2.0 upgrade	2019-05-22 12:43:11 -07:00
last_updated.py	doc: use Sphinx extension for showing last updated date in footers	2022-03-18 11:05:50 -07:00
link_roles.py	doc: add extension to create files and raw links	2020-11-05 09:17:05 -08:00