From a34d245a91cdd9ca0f8fed08ef8819b0f9e98078 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sat, 12 Sep 2015 23:35:58 +0200 Subject: improve makefile MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 73b16fa..f45223a 100644 --- a/Makefile +++ b/Makefile @@ -59,17 +59,17 @@ dvi: $(BOOK).dvi %.pdf: $(TEXINFO_DIR)/%.texinfo @mkdir -p obj/pdf - cd obj/pdf && yes X | texi2pdf $(TEXIFLAGS) "../../$<" + cd obj/pdf && texi2pdf $(TEXIFLAGS) "../../$<" < /dev/null mv "obj/pdf/$@" "$@" %.dvi: $(TEXINFO_DIR)/%.texinfo @mkdir -p obj/dvi - cd obj/dvi && yes X | $(TEXI2DVI) $(TEXIFLAGS) "../../$<" + cd obj/dvi && $(TEXI2DVI) $(TEXIFLAGS) "../../$<" < /dev/null mv "obj/dvi/$@" "$@" %.ps: $(TEXINFO_DIR)/%.texinfo @mkdir -p obj/ps - cd obj/ps && yes X | texi2pdf $(TEXIFLAGS) --ps "../../$<" + cd obj/ps && texi2pdf $(TEXIFLAGS) --ps "../../$<" < /dev/null mv "obj/ps/$@" "$@" .PHONY: install-info install-pdf install-dvi install-ps -- cgit v1.2.3-70-g09d2