From 2c9f3184f959a1eed7363252d486efe2140b9a4e Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Fri, 30 Aug 2013 15:45:21 +0000 Subject: [PATCH] Use `texi2dvi --pdf', not `texi2pdf'. No functional difference, but texi2pdf is a newer utility not found in older versions of GNU Texinfo that are still prevalent. --- doc/make-common.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make-common.in b/doc/make-common.in index 950b0eb59..7f70e4cc3 100644 --- a/doc/make-common.in +++ b/doc/make-common.in @@ -81,7 +81,7 @@ $(HTML_TARGET)/index.html: $(SOURCES) makeinfo --html $(TEXINFO_ROOT).texinfo $(PDF_TARGET): $(SOURCES) - texi2pdf $(TEX_OPTIONS) --output=$@ $(TEXINFO_ROOT).texinfo + texi2dvi --pdf $(TEX_OPTIONS) --output=$@ $(TEXINFO_ROOT).texinfo $(PS_TARGET): $(SOURCES) -rm -f $(DVI_TARGET) -- 2.25.1