diff --git a/Makefile b/Makefile index f097c58..29c33ef 100644 --- a/Makefile +++ b/Makefile @@ -47,7 +47,7 @@ CHECKPGFREALJOBNAME=true #shut the make up VERBOSE ?= @ -PRINTF ?= echo -e +PRINTF ?= printf # all extensions which should be deleted with make clean TEXEXT=log aux toc synctex.gz synctex.gz\(busy\) pdfsync