From 697d4e652e702bff4e5e3b549bc9acf68f168eb6 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Thu, 8 Oct 2020 16:11:49 +0200 Subject: [PATCH] Ignore pdf and generated txt --- garlic/doc/.gitignore | 2 ++ garlic/doc/Makefile | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) create mode 100644 garlic/doc/.gitignore diff --git a/garlic/doc/.gitignore b/garlic/doc/.gitignore new file mode 100644 index 00000000..d62ddbb5 --- /dev/null +++ b/garlic/doc/.gitignore @@ -0,0 +1,2 @@ +*.pdf +*.txt diff --git a/garlic/doc/Makefile b/garlic/doc/Makefile index f768139b..e30f27ef 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 $^ > $@