From 95d80fd8229d05dd6cb4ec88bc8d4f5377ff00ef Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Wed, 27 Mar 2024 14:30:15 +0100
Subject: [PATCH] Fix race in `make zipup`

`clean` and `docs` run in parallel, so sometimes stuff gets cleaned that
is required to build docs.

Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
---
 makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/makefile b/makefile
index 50f9d17a..bee51a10 100644
--- a/makefile
+++ b/makefile
@@ -133,7 +133,11 @@ pre_gen:
 	sed -e 's/[[:blank:]]*$$//' mpi.c > pre_gen/mpi.c
 	rm mpi.c
 
-zipup: clean astyle new_file docs
+zipup:
+	$(MAKE) clean
+	$(MAKE) .zipup
+
+.zipup: astyle new_file docs
 	@# Update the index, so diff-index won't fail in case the pdf has been created.
 	@#   As the pdf creation modifies the tex files, git sometimes detects the
 	@#   modified files, but misses that it's put back to its original version.