From 8884bb2da05ff433366da210f1b2a8125092f98e Mon Sep 17 00:00:00 2001 From: Maximilian Held Date: Sun, 19 Jan 2025 20:53:11 +0100 Subject: [PATCH] add install script --- install.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 install.sh diff --git a/install.sh b/install.sh new file mode 100755 index 0000000..8ead8ab --- /dev/null +++ b/install.sh @@ -0,0 +1,5 @@ +#!/bin/sh +echo "(Re-)Installing Muggle..." +echo "(Re-)creating Symbolic Links ..." +ln -s in_submodule.make ../Makefile +git check-ignore Makefile