From 4d60b0a69668921ef4a3e3c899384ae33134c372 Mon Sep 17 00:00:00 2001 From: Fredrik Ekre Date: Sun, 5 Nov 2023 13:30:26 +0100 Subject: [PATCH] Add docs makefile for easy development. --- docs/Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 docs/Makefile diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 0000000..b44d74b --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,8 @@ +SRCDIR:=$(shell dirname $(abspath $(firstword $(MAKEFILE_LIST)))) + +default: liveserver + +liveserver: + julia --project=${SRCDIR} ${SRCDIR}/liveserver.jl + +.PHONY: default liveserver