summaryrefslogtreecommitdiff
path: root/tools/download.sh
diff options
context:
space:
mode:
authorxengineering <me@xengineering.eu>2024-06-07 21:25:38 +0200
committerxengineering <me@xengineering.eu>2024-06-07 21:25:38 +0200
commit4d4cb2a8fd79ffd6e65c7a7546dc9aba4e867656 (patch)
tree5f7bf67570ffa90dce988c86b30f5d9a4d8e5167 /tools/download.sh
parent60784a9ebaa6168b03851f359a83478c70c7dbeb (diff)
downloadiot-contact-4d4cb2a8fd79ffd6e65c7a7546dc9aba4e867656.tar
iot-contact-4d4cb2a8fd79ffd6e65c7a7546dc9aba4e867656.tar.zst
iot-contact-4d4cb2a8fd79ffd6e65c7a7546dc9aba4e867656.zip
tools: Print doc path after executing download.sh
Diffstat (limited to 'tools/download.sh')
-rwxr-xr-xtools/download.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/download.sh b/tools/download.sh
index d407a77..1a312ef 100755
--- a/tools/download.sh
+++ b/tools/download.sh
@@ -41,3 +41,5 @@ do
echo "NOT OK ${name}"
fi
done
+
+echo "External documentation saved in ${doc}"