From 652cd666c805052392fa86a93a3520104923211d Mon Sep 17 00:00:00 2001 From: Martin Weise <martin.weise@tuwien.ac.at> Date: Thu, 20 Jul 2023 10:52:22 +0200 Subject: [PATCH] Added make --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index f0a4e2e..c528b12 100644 --- a/Makefile +++ b/Makefile @@ -14,6 +14,10 @@ deploy-dockerhub-docs: verify: sudo nginx -t +build: + mkdocs build + cd ./swagger && bash ./generate.sh + build-swagger: cd ./swagger && UPDATE=1 ./generate.sh -- GitLab