diff --git a/garlic/doc/.gitignore b/garlic/doc/.gitignore new file mode 100644 index 0000000..d62ddbb --- /dev/null +++ b/garlic/doc/.gitignore @@ -0,0 +1,2 @@ +*.pdf +*.txt diff --git a/garlic/doc/Makefile b/garlic/doc/Makefile index f768139..e30f27e 100644 --- a/garlic/doc/Makefile +++ b/garlic/doc/Makefile @@ -1,9 +1,9 @@ all: execution.pdf execution.txt %.pdf: %.ms - groff -ms -tbl -Tpdf $^ > $@ + groff -ms -t -p -Tpdf $^ > $@ #pdfms $^ 2>&1 >$@ | sed 's/^troff: //g' killall -HUP mupdf %.txt: %.ms - groff -ms -tbl -Tutf8 $^ > $@ + groff -ms -t -p -Tutf8 $^ > $@