diff --git a/Makefile b/Makefile index 7ab4e68c..67cfae6c 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ .PHONY: all base clean implode dist test force \ docker-image docker-push-temporary-tag docker-print-temporary-tag \ - docker-push-release-tag + docker-push-release-tag preview SHELL=/bin/bash @@ -140,6 +140,10 @@ $(TECHNICAL_DOCUMENTATION): $(DTXARCHIVE) $(TECHNICAL_DOCUMENTATION_RESOURCES) latexmk -silent $< || (cat $(basename $@).log 1>&2; exit 1) test `tail $(basename $<).log | sed -rn 's/.*\(([0-9]*) pages.*/\1/p'` -gt 350 +# This pseudotarget continuously typesets the manual. +preview: $(DTXARCHIVE) $(TECHNICAL_DOCUMENTATION_RESOURCES) + latexmk -silent -pvc $< + # These targets typeset the examples. $(EXAMPLES): $(EXAMPLE_SOURCES) examples/example.tex if [[ '$(NO_DOCUMENTATION)' != true ]]; \