Changeset 319
- Timestamp:
- 2007-05-18 21:25:31 (2 years ago)
- Files:
-
- tools/make.py (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
tools/make.py
r318 r319 80 80 'update the version' 81 81 node = rdf.getElementsByTagName('version')[0].childNodes[0] 82 node.data = "%s.%s " % (node.data, rev)82 node.data = "%s.%s.%s" % (node.data, strftime("%Y%m%d"), rev) 83 83 84 84 node = rdf.getElementsByTagName('name')[0].childNodes[0]
