aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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