hare

commit fa48e54c778b309cbc29fc2d36ba111e7ad8bfc7
parent 5dbf30ce172c044efcc199bed04a053eecc662a0
Author: Alexey Yerin <yyp@disroot.org>
Date:   Fri, 25 Mar 2022 11:24:34 +0300

scripts/gen-docs: don't download mascot.jpg

This is unnecessary since haredoc now uses a data: URI for it.

Signed-off-by: Alexey Yerin <yyp@disroot.org>

Diffstat:
M
scripts/gen-docs
 | 
5
-----

1 file changed, 0 insertions(+), 5 deletions(-)
diff --git a/scripts/gen-docs b/scripts/gen-docs
@@ -22,11 +22,6 @@ modules="$(getmods)"
 
 mkdir -p docs/html/
 
-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 iobus
 do