From 38260b0a1eaf881b36ec0576ebfe55bf57066754 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 30 Jan 2022 21:18:54 +0100
Subject: [PATCH] add central documentation target in Makefile

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

diff --git a/Makefile b/Makefile
index c021d5b..bdb8cbb 100644
--- a/Makefile
+++ b/Makefile
@@ -31,3 +31,7 @@ clean:
 
 ci-build:
 	@python3 build.py --source-dir src --build-dir build/LatexPackagesBuild ${BUILD_FLAGS}
+
+central-doc:
+	@-rm -r build/documentation
+	$(MAKE) -C doc $(MAKECMDGOALS)