diff --git a/sphinx/util/i18n.py b/sphinx/util/i18n.py index d0edcc88b..b4953032d 100644 --- a/sphinx/util/i18n.py +++ b/sphinx/util/i18n.py @@ -249,6 +249,9 @@ def format_date( source_date_epoch = os.getenv('SOURCE_DATE_EPOCH') if source_date_epoch is not None: date = datetime.fromtimestamp(float(source_date_epoch), tz=UTC) + # If SOURCE_DATE_EPOCH is set, users likely want a reproducible result, + # so enforce GMT/UTC for consistency. + local_time = False else: date = datetime.now(tz=UTC)