From 975d684abda6c6c13612c5780ba0a6989236ef8c Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 4 May 2019 14:16:42 +0300 Subject: Fix: delete temporary file --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index fe8af54..701a97e 100644 --- a/Makefile +++ b/Makefile @@ -14,4 +14,4 @@ all: muck1.pdf muck2.pdf muck3.pdf jt1.pdf jt2.pdf saga.pdf -Vsansfont:FreeSans \ -Vmonofont:FreeMonoBold \ -Vgeometry:top=2cm,bottom=2.5cm,left=2cm,right=1cm -# rm -f tmp + rm -f tmp -- cgit v1.2.1