From 703eb53bc482207ca80088c4082f7702edec876e Mon Sep 17 00:00:00 2001
From: Jake <j.vondoemming@stud.uni-goettingen.de>
Date: Wed, 3 Aug 2022 19:09:47 +0200
Subject: [PATCH] added devserver target

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index bdfdb46..a1849d3 100644
--- a/Makefile
+++ b/Makefile
@@ -7,3 +7,8 @@ publish: run
 .PHONY: run
 run:
 	make -C fgs
+
+.PHONY: devserver
+devserver:
+	cd output && python -m http.server 8000
+
-- 
GitLab