From 5bb90b2ca47d8037423bf0605f42aa41ea3bfdf7 Mon Sep 17 00:00:00 2001 From: jahorton Date: Thu, 19 Sep 2019 08:53:29 +0700 Subject: [PATCH] A bit more script polish --- ios/build-help.sh | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/ios/build-help.sh b/ios/build-help.sh index 549ea6941a..6ae6232413 100755 --- a/ios/build-help.sh +++ b/ios/build-help.sh @@ -6,11 +6,10 @@ HELP_ROOT=keyman/Keyman/Keyman/WebPages if [ -z $VERSION ]; then - VERSION="12.0" + VERSION="12.0" # Set manually here because alpha versions usually don't have + # matching help yet. fi -echo $VERSION - # Clear previous help file downloads (if they exist) if [ -d "$HELP_ROOT" ]; then rm -r "$HELP_ROOT/*" @@ -33,5 +32,5 @@ wget --mirror \ --adjust-extension \ "help.keyman.com/products/iphone-and-ipad/$VERSION/index.php?embed=ios" -# Results in a flat-structured mirror of the iphone-and-ipad/11.0 folder, +# Results in a flat-structured mirror of the iphone-and-ipad/$VERSION folder, # together with all needed resources within the 'site' folder. \ No newline at end of file