user manual: add images as make target dependency

GaloisInc · Aug 15, 2024 · 2c30b94 · 2c30b94
1 parent 4f7db62
commit 2c30b94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/user-manual/Makefile b/docs/user-manual/Makefile
@@ -1,4 +1,4 @@
 all: user-manual.pdf
 
-user-manual.pdf: *.tex
+user-manual.pdf: *.tex images/*.png
 	latexmk -shell-escape -pdf user-manual.tex