From aadff4d1cf17cc23f6f38ab0da51baabfeb9f9d1 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Wed, 1 Oct 2025 16:53:49 +0200 Subject: checkpoint --- misc/deploy.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 misc/deploy.sh (limited to 'misc/deploy.sh') diff --git a/misc/deploy.sh b/misc/deploy.sh new file mode 100755 index 0000000..2d34bb2 --- /dev/null +++ b/misc/deploy.sh @@ -0,0 +1,6 @@ +#!/bin/sh +ThisDir="$(dirname "$(readlink -f "$0")")" +cd "$ThisDir" + +cd ../build +python -m http.server -- cgit v1.2.3-70-g09d2