From 339e801b4020b09264ea7d5fca5d80044f5f99ae Mon Sep 17 00:00:00 2001
From: TG <tarik.graba@telecom-paris.fr>
Date: Sat, 5 Oct 2024 19:11:55 +0200
Subject: [PATCH] docs: avoid concurrency issues when generating images in
 parallel

---
 docs/source/_images/Makefile | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/docs/source/_images/Makefile b/docs/source/_images/Makefile
index 26cc47284c3..0b1bebbb351 100644
--- a/docs/source/_images/Makefile
+++ b/docs/source/_images/Makefile
@@ -1,4 +1,4 @@
-all: examples all_tex tidy
+all: examples all_tex
 
 # set a fake time in pdf generation to prevent unnecessary differences in output
 FAKETIME := TZ='Z' faketime -f '2022-01-01 00:00:00 x0,001'
@@ -31,14 +31,13 @@ all_tex: $(TEX_FILES:.tex=.pdf) $(TEX_FILES:.tex=.svg)
 
 %.pdf: %.tex
 	cd $(@D) && $(FAKETIME) pdflatex $(<F) --interaction=nonstopmode
+	rm -f $(*).aux $(*).log
 
 %.svg: %.pdf
 	pdf2svg $< $@
 
-.PHONY: clean tidy
-tidy:
-	rm -f  **/*.log **/*.aux
+.PHONY: clean
 
-clean: tidy
+clean:
 	rm -rf code_examples
 	rm -f **/*.pdf **/*.svg