From b22f19c119e73fe484a9bae683d7ff6022711d23 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Mon, 7 Dec 2015 12:55:42 +0100 Subject: m makefile MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index d2a78e4..8e36f47 100644 --- a/Makefile +++ b/Makefile @@ -97,7 +97,7 @@ bin/%.pdf: doc/info/%.texinfo doc/info/fdl.texinfo dvi: bin/scrotty.dvi bin/%.dvi: doc/info/%.texinfo doc/info/fdl.texinfo @mkdir -p obj/dvi bin - cd obj/dvi && $(TEXI2DVI) ../../$< < /dev/null + cd obj/dvi && texi2dvi ../../$< < /dev/null mv obj/dvi/$*.dvi $@ .PHONY: ps -- cgit v1.2.3-70-g09d2