html: replace implementation with impl

1 files changed, 1 insertions, 0 deletions

diff --git a/build.py b/build.py
index 951f55d..277ea1d 100755
--- a/build.py
+++ b/build.py
@@ -67,6 +67,7 @@ def write_features(f, feature_data):
 
         if data['title'].startswith('the '):
             data['title'] = data['title'][len('the '):]
+        data['title'] = data['title'].replace('implementation', 'impl')
 
         if key in features:
             data['title'] = data['flag'].replace('_', ' ')