diff options
Diffstat (limited to 'build.py')
-rwxr-xr-x | build.py | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -111,8 +111,21 @@ with open('target/index.html', 'w') as f: f.write('<h2 id=unstable>Unstable features</h2>') write_features(f, unstable_features) + after_beta = False + for version, data in versions.items(): - f.write('<h2 id={0}>{0}</h2>'.format(version)) + f.write('<h2 id={0}>{0}'.format(version)) + channel = data.get('channel') + if after_beta: + channel = 'stable' + after_beta = False + if channel: + if channel == 'nightly': + channel = 'stabilized' + elif channel == 'beta': + after_beta = True + f.write(' [{}]'.format(channel)) + f.write('</h2>') if 'features' in data: write_features(f, data['features']) |