html: show channels

1 files changed, 14 insertions, 1 deletions

diff --git a/build.py b/build.py
index d3dad17..5b18861 100755
--- a/build.py
+++ b/build.py
@@ -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'])