hare

commit aeb4a18a7782655b6a0e01e6546479368e08ce19
parent 1895c2ffed0b42545f2dbb22e7c6a43a0de44b29
Author: Drew DeVault <sir@cmpwn.com>
Date:   Thu, 29 Apr 2021 10:44:07 -0400

gen-docs: don't re-download mascot.jpg

Signed-off-by: Drew DeVault <sir@cmpwn.com>

Diffstat:
M
scripts/gen-docs
 | 
6
+++++-

1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/scripts/gen-docs b/scripts/gen-docs
@@ -8,7 +8,11 @@ modules=$(awk '
 
 mkdir -p docs/html/
 
-curl https://harelang.org/mascot.jpg > docs/html/mascot.jpg
+if ! [ -f docs/html/mascot.jpg ]
+then
+	curl https://harelang.org/mascot.jpg > docs/html/mascot.jpg
+fi
+
 haredoc -Fhtml > docs/html/index.html
 for mod in $modules compress format encoding math crypto hare rt
 do