diff options
-rwxr-xr-x | build.py | 4 | ||||
-rw-r--r-- | script.js | 2 |
2 files changed, 0 insertions, 6 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 @@ -34,8 +34,6 @@ document.getElementById(key + '-lib').hidden = libResults.length == 0; } - // TODO: hide library heading if no lib results - heading.hidden = totalResultCount == 0; } }); |