Add preview pseudotarget to Makefile

Witiko · Nov 9, 2023 · 0f5662a · 0f5662a
1 parent cee6e0f
commit 0f5662a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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 ]]; \