From 7de226878dee0bf7d4ede441a8e86a4903f12509 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 15 Nov 2022 14:13:41 +0100
Subject: [PATCH] faketime to make PDFs unique

---
 docs/images/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/images/Makefile b/docs/images/Makefile
index b62f6c7f6..56706d1c4 100644
--- a/docs/images/Makefile
+++ b/docs/images/Makefile
@@ -22,10 +22,10 @@ tex: $(TEX_PDF)
 svg: $(SVG_OUTPUT)
 
 011/%.pdf: $(DOT_LOC)/%.dot
-	dot -Tpdf -o $@ $<
+	FAKETIME_DONT_RESET=0 faketime '2022-01-01 00:00:00' dot -Tpdf -o $@ $<
 
 011/%.pdf: 011/%.tex
-	cd 011 && pdflatex $(<F) --interaction=nonstopmode
+	cd 011 && FAKETIME_DONT_RESET=0 faketime '2022-01-01 00:00:00' pdflatex $(<F) --interaction=nonstopmode
 
 %.pdf: %.tex
 	pdflatex $< --interaction=nonstopmode