Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Add SOURCE_DATE_EPOCH for docs/guide/conf.py (#3918)

Browse Source
This commit is contained in:
Larry Doolittle 2023-01-30 19:14:33 -08:00 committed by GitHub
parent 29f4821d78
commit 87a7881d46
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/guide/conf.py
View File

@ -89,8 +89,14 @@ source_suffix = [".rst"]
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']
try:
# https://reproducible-builds.org/specs/source-date-epoch/
doc_now = datetime.fromtimestamp(int(os.environ["SOURCE_DATE_EPOCH"]))
print("Using SOURCE_DATE_EPOCH")
except Exception:
doc_now = datetime.now()
# Date format to ISO
today_fmt = datetime.now().strftime("%F")
today_fmt = doc_now.strftime("%F")
# If true, `todo` and `todoList` produce output, else they produce nothing.
todo_include_todos = True