From 6bf08656882fa4c3fc6fe799cc0499d244e6ca5f Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Sat, 27 Nov 2021 09:00:15 +0100 Subject: html: replace implementation with impl --- build.py | 1 + 1 file changed, 1 insertion(+) (limited to 'build.py') 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('_', ' ') -- cgit v1.2.3