From 3205f509a1bbb086a53bd8ef66f5a1790fdd64e9 Mon Sep 17 00:00:00 2001 From: taoka Date: Tue, 7 Sep 1999 04:52:54 +0000 Subject: Typeset Texinfo files for printing. Uses TeX (supported japanese) PR: 13369 Submitted by: Mitsuru Yoshida --- japanese/texinfo/files/patch-ab | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 japanese/texinfo/files/patch-ab (limited to 'japanese/texinfo/files/patch-ab') diff --git a/japanese/texinfo/files/patch-ab b/japanese/texinfo/files/patch-ab new file mode 100644 index 00000000000..7b64adda3a7 --- /dev/null +++ b/japanese/texinfo/files/patch-ab @@ -0,0 +1,29 @@ +--- util/texi2dvi.orig Wed Aug 25 13:47:25 1999 ++++ util/texi2dvi Wed Aug 25 13:47:31 1999 +@@ -354,7 +354,7 @@ + *) + # Assume a Texinfo file. Texinfo files need makeinfo, texindex and tex. + bibtex= +- texindex=${TEXINDEX:-texindex} ++ texindex=${TEXINDEX:-jtexindex} + if test $oformat = dvi; then + tex=${TEX:-ptex} + else +@@ -363,7 +363,7 @@ + # Unless required by the user, makeinfo expansion is wanted only + # if texinfo.tex is too old. + if test "$expand" = t; then +- makeinfo=${MAKEINFO:-makeinfo} ++ makeinfo=${MAKEINFO:-jmakeinfo} + else + # Check if texinfo.tex performs macro expansion by looking for + # its version. The version is a date of the form YEAR-MO-DA. +@@ -380,7 +380,7 @@ + if test "$txiprereq" -le "$txiversion" >/dev/null 2>&1; then + makeinfo= + else +- makeinfo=${MAKEINFO:-makeinfo} ++ makeinfo=${MAKEINFO:-jmakeinfo} + fi + # As long as we had to run TeX, offer the user this convenience + if test "$txiformat" = Texinfo; then -- cgit