WIP: documentation for the pp pipeline

This commit is contained in:
2020-10-30 12:22:19 +01:00
parent e778ad75b3
commit c3988dacd2
2 changed files with 79 additions and 4 deletions

View File

@@ -1,8 +1,8 @@
all: execution.pdf execution.txt
all: execution.pdf execution.txt pp.pdf pp.txt
%.pdf: %.ms
groff -ms -t -Tpdf $^ > $@
#killall -HUP mupdf
groff -ms -t -p -Tpdf $^ > $@
-killall -HUP mupdf
%.txt: %.ms
groff -ms -t -Tutf8 $^ > $@
groff -ms -t -p -Tutf8 $^ > $@