diff options
author | Stefan Zimmermann <zimmermann.code@gmail.com> | 2014-03-31 15:40:20 +0000 |
---|---|---|
committer | Stefan Zimmermann <zimmermann.code@gmail.com> | 2014-03-31 15:40:20 +0000 |
commit | 78ce49b5b52d41ddccf41986faba5f1d2ddc8804 (patch) | |
tree | e44c28ee21a3d4b59d2cab79a529be6a09907881 /bin | |
parent | 425adf48bf2fcf5f2271c8d10e61810cf10169ed (diff) | |
parent | f78a5612498648257400084a47dab9d94936eb11 (diff) | |
download | scons-78ce49b5b52d41ddccf41986faba5f1d2ddc8804.tar.gz |
Merged with [default]
Diffstat (limited to 'bin')
-rw-r--r-- | bin/update-release-info.py | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/bin/update-release-info.py b/bin/update-release-info.py index b6cf9420..be9e0f56 100644 --- a/bin/update-release-info.py +++ b/bin/update-release-info.py @@ -334,17 +334,18 @@ t.replace_assign('deprecated_python_version', str(deprecated_version)) # Update doc/user/main.{in,xml} docyears = ', '.join(map(str, range(2004, release_date[0] + 1))) -t = UpdateFile(os.path.join('doc', 'user', 'main.in')) -if DEBUG: t.file = '/tmp/main.in' -## TODO debug these -#t.sub('<pubdate>[^<]*</pubdate>', '<pubdate>' + docyears + '</pubdate>') -#t.sub('<year>[^<]*</year>', '<year>' + docyears + '</year>') +if os.path.exists(os.path.join('doc', 'user', 'main.in')): + # this is no longer used as of Dec 2013 + t = UpdateFile(os.path.join('doc', 'user', 'main.in')) + if DEBUG: t.file = '/tmp/main.in' + ## TODO debug these + #t.sub('<pubdate>[^<]*</pubdate>', '<pubdate>' + docyears + '</pubdate>') + #t.sub('<year>[^<]*</year>', '<year>' + docyears + '</year>') t = UpdateFile(os.path.join('doc', 'user', 'main.xml')) if DEBUG: t.file = '/tmp/main.xml' -## TODO debug these -#t.sub('<pubdate>[^<]*</pubdate>', '<pubdate>' + docyears + '</pubdate>') -#t.sub('<year>[^<]*</year>', '<year>' + docyears + '</year>') +t.sub('<pubdate>[^<]*</pubdate>', '<pubdate>' + docyears + '</pubdate>') +t.sub('<year>[^<]*</year>', '<year>' + docyears + '</year>') # Write out the last update |