From ff6f4f6dc4e94b3074b083fa5ad0b4df119c5f07 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 30 Jan 2022 22:15:36 +0100 Subject: [PATCH] fix error in Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4352a94..1ee15d8 100644 --- a/Makefile +++ b/Makefile @@ -33,6 +33,6 @@ ci-build: doc: @-rm -r build/documentation - $(MAKE) -C doc $(MAKECMDGOALS) + $(MAKE) -C doc central-doc .PHONY: build doc