From 4d4cb2a8fd79ffd6e65c7a7546dc9aba4e867656 Mon Sep 17 00:00:00 2001 From: xengineering Date: Fri, 7 Jun 2024 21:25:38 +0200 Subject: tools: Print doc path after executing download.sh --- tools/download.sh | 2 ++ 1 file changed, 2 insertions(+) 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}" -- cgit v1.2.3-70-g09d2