105 |
datestamp = time.strftime(settings.datestamp, time.gmtime()) |
datestamp = time.strftime(settings.datestamp, time.gmtime()) |
106 |
try: label = language.labels['generatedon'] |
try: label = language.labels['generatedon'] |
107 |
except KeyError: label = 'Generated on' |
except KeyError: label = 'Generated on' |
108 |
text.append(nodes.Text(label+': ' + datestamp + '.\n')) |
if len(label) > 0: |
109 |
|
text.append(nodes.Text(label+': ' + datestamp + '.\n')) |
110 |
|
else: |
111 |
|
text.append(nodes.Text(datestamp)) |
112 |
if settings.generator: |
if settings.generator: |
113 |
try: label = language.labels['generatedby'] |
try: label = language.labels['generatedby'] |
114 |
except KeyError: label = 'Generated by' |
except KeyError: label = 'Generated by' |