diff --git a/Makefile b/Makefile index 6d542d07517defb7eb0602c6b8f85b876f76635c..6a6075f54a7e8ee0752a73c9e73267358ae5f136 100644 --- a/Makefile +++ b/Makefile @@ -34,6 +34,7 @@ foldout.pdf: $(wildcard rules/*.tex) $(ALL_FILES) docs.pdf $(RUN) foldout.tex $(CP) $(DROSS)/foldout.pdf foldout.pdf rules.pdf: .switch-gls images/wide.jpg $(wildcard rules/*.tex) $(ALL_FILES) + $(RUN) rules.tex $(RUN) rules.tex $(CP) $(DROSS)/rules.pdf rules.pdf