diff --git a/.gitignore b/.gitignore index 09ac3c9242ff80557b1dbe0d51e2565835831f5e..015cc5b0c9948d4fd5e396d9839da8d84e298d5c 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,4 @@ rubbish *pdf images/wide.jpg svg-inkscape/ +.switch-gls diff --git a/Makefile b/Makefile index e71c60f86067ca5bb52367e8de7ca0ca03b30792..6d542d07517defb7eb0602c6b8f85b876f76635c 100644 --- a/Makefile +++ b/Makefile @@ -17,6 +17,9 @@ test: $(DROSS)/test.pdf $(DROSS)/test.pdf: test.tex $(ALL_FILES) $(RUN) test.tex +.switch-gls: + touch .switch-gls + docs.pdf: images/wide.jpg $(ALL_FILES) $(RUN) docs.tex $(GLOS) docs @@ -30,7 +33,7 @@ foldout.pdf: $(wildcard rules/*.tex) $(ALL_FILES) docs.pdf $(RUN) foldout.tex $(RUN) foldout.tex $(CP) $(DROSS)/foldout.pdf foldout.pdf -rules.pdf: images/wide.jpg $(wildcard rules/*.tex) $(ALL_FILES) +rules.pdf: .switch-gls images/wide.jpg $(wildcard rules/*.tex) $(ALL_FILES) $(RUN) rules.tex $(CP) $(DROSS)/rules.pdf rules.pdf