diff options
Diffstat (limited to 'build.py')
-rwxr-xr-x | build.py | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -1,5 +1,4 @@ #!/usr/bin/env python3 -import glob import html import json import os @@ -137,7 +136,6 @@ with open('target/index.html', 'w') as f: with open('head.html') as h: f.write(h.read()) - # TODO: sort by T-lang and T-lib f.write('<h2 id=unstable>Unstable features</h2>') write_features(f, 'unstable', unstable_features) @@ -168,5 +166,3 @@ with open('target/index.html', 'w') as f: if 'features' in data: write_features(f, version, data['features']) - -# TODO: generate HTML |