diff options
| -rw-r--r-- | docs/images/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/images/Makefile b/docs/images/Makefile index 56706d1c4..84e09615f 100644 --- a/docs/images/Makefile +++ b/docs/images/Makefile @@ -22,10 +22,10 @@ tex: $(TEX_PDF) svg: $(SVG_OUTPUT) 011/%.pdf: $(DOT_LOC)/%.dot - FAKETIME_DONT_RESET=0 faketime '2022-01-01 00:00:00' dot -Tpdf -o $@ $< + faketime -f '2022-01-01 00:00:00 x0,001' dot -Tpdf -o $@ $< 011/%.pdf: 011/%.tex - cd 011 && FAKETIME_DONT_RESET=0 faketime '2022-01-01 00:00:00' pdflatex $(<F) --interaction=nonstopmode + cd 011 && faketime -f '2022-01-01 00:00:00 x0,001' pdflatex $(<F) --interaction=nonstopmode %.pdf: %.tex pdflatex $< --interaction=nonstopmode |