From 580816dde8d8c507fdfdf1dfcbc23bcf1612e5f1 Mon Sep 17 00:00:00 2001
From: Paulo Dias <paulo.sousa.dias@gmail.com>
Date: Tue, 8 Jan 2019 20:44:04 +0000
Subject: [PATCH] mkpackage: use www.lsts.pt instead of lsts.pt.

---
 mkpackage.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mkpackage.bash b/mkpackage.bash
index 45cbff4..de9be4b 100755
--- a/mkpackage.bash
+++ b/mkpackage.bash
@@ -72,7 +72,7 @@ download()
         fi
 
 	# First try LSTS mirror.
-	lsts_url="https://lsts.pt/glued/$(basename $u)"
+	lsts_url="https://www.lsts.pt/glued/$(basename $u)"
         download_tool "$lsts_url" "$cfg_dir_downloads/$file"
         if [ $? -ne 0 ]; then
 	    # Then try OceanScan-MST mirror.