commit 07ff0c5a3781ff683f68f9821e9c94e02359791a
parent dbcd4c020278c74bc2f3e34add94b074c168db40
Author: Christian Grothoff <christian@grothoff.org>
Date: Wed, 15 Nov 2023 22:53:14 +0100
add .en to must files for English variant
Diffstat:
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/packages/challenger-ui/create_must.sh b/packages/challenger-ui/create_must.sh
@@ -12,9 +12,8 @@ for file in *.html; do
sed 's/="main.css"/="..\/main.css"/' -i $file
#rename the extension to must template
- mv $file ${file:0:-5}.must
+ mv $file ${file:0:-5}.en.must
done
#delete unused files
rm main.js main.js.map main.css.map
-