Make fmt file phony

diff --git a/report/Makefile b/report/Makefile
index 9ba9f50..42c9c52 100644 (file)
--- a/report/Makefile
+++ b/report/Makefile
@@ -5,7 +5,7 @@ LATEXFLAGS:=-file-line-error -halt-on-error -no-shell-escape
 
 TEXS:=$(wildcard *.tex)
 
-.PHONY: all
+.PHONY: all $(DOC).fmt
 
 all: $(DOC).pdf