Update PHONY in Makefile

makenew · Sep 30, 2022 · 7a1f5e1 · 7a1f5e1
1 parent e86945f
commit 7a1f5e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -28,4 +28,4 @@ tex:
 		cp -p $(LATEX_INPUT).$(LATEX_OUTPUT_EXT) \
 			../$(LATEX_BULD)/$(LATEX_OUTPUT).$(LATEX_OUTPUT_EXT)
 
-.PHONY: build tex
+.PHONY: check clean tex