From c5f4fdd27828a339ef56912ac50b7b040a3d6067 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 12 Oct 2023 13:38:03 +0200
Subject: [PATCH] Further narrow scope
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 070bc3b..db5e4bd 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ verify:
sudo nginx -t
build: build-swagger
- grep -rl __BASE_URL__ . | xargs sed -i 's|__BASE_URL__|${BASE_URL}|g'
+ grep -rl __BASE_URL__ ./docs | xargs sed -i 's|__BASE_URL__|${BASE_URL}|g'
mkdocs build
build-swagger:
--
GitLab