IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2440 from xhochy/bugfix/source_date_epoch

Browse Source 
Fix wrong import for gmtime
This commit is contained in:
Takayuki SHIMIZUKAWA
2016-04-12 21:54:19 +09:00
parent 750720ee90 eb13982c41
commit b8aca81fbc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/util/i18n.py
View File

@@ -14,7 +14,7 @@ import os
import re import re
import warnings import warnings
from os import path from os import path
from time import time from time import time, gmtime
from datetime import datetime from datetime import datetime
from collections import namedtuple from collections import namedtuple
@@ -188,7 +188,7 @@ def format_date(format, date=None, language=None, warn=None):
# See https://wiki.debian.org/ReproducibleBuilds/TimestampsProposal # See https://wiki.debian.org/ReproducibleBuilds/TimestampsProposal
source_date_epoch = os.getenv('SOURCE_DATE_EPOCH') source_date_epoch = os.getenv('SOURCE_DATE_EPOCH')
if source_date_epoch is not None: if source_date_epoch is not None:
date = time.gmtime(float(source_date_epoch)) date = gmtime(float(source_date_epoch))
else: else:
date = datetime.now() date = datetime.now()