93 |
text.extend([ |
text.extend([ |
94 |
nodes.reference('', label, refuri=source), nodes.Text('.\n')]) |
nodes.reference('', label, refuri=source), nodes.Text('.\n')]) |
95 |
if settings.datestamp: |
if settings.datestamp: |
96 |
datestamp = time.strftime(settings.datestamp, time.gmtime()) |
if settings.datestamp.strip() != 'CVS_DATE': |
97 |
try: label = language.labels['generatedon'] |
datestamp = time.strftime(settings.datestamp, time.gmtime()) |
98 |
except KeyError: label = 'Generated on' |
try: label = language.labels['generatedon'] |
99 |
|
except KeyError: label = 'Generated on' |
100 |
|
else: |
101 |
|
datestamp = '$Date$' |
102 |
|
label = 'Last updated' |
103 |
text.append(nodes.Text(label+': ' + datestamp + '.\n')) |
text.append(nodes.Text(label+': ' + datestamp + '.\n')) |
104 |
if settings.generator: |
if settings.generator: |
105 |
try: label = language.labels['generatedby'] |
try: label = language.labels['generatedby'] |