diff --git a/Makefile b/Makefile index 058061fabdd6b424aea206b4d73f4fc1af4b04bc..6412c7ee425d8f80e1cdb64da0aa1a9160445250 100644 --- a/Makefile +++ b/Makefile @@ -25,7 +25,7 @@ docs.pdf: images/wide.jpg $(ALL_FILES) resources.pdf: $(ALL_FILES) $(RUN) resources.tex $(CP) $(DROSS)/resources.pdf resources.pdf -rules.pdf: images/wide.jpg $(ALL_FILES) +rules.pdf: images/wide.jpg $(wildcard rules/*.tex) $(ALL_FILES) $(RUN) rules.tex $(RUN) rules.tex $(CP) $(DROSS)/rules.pdf rules.pdf