diff options
Diffstat (limited to 'japanese/texinfo/files/patch-util_texi2dvi')
| -rw-r--r-- | japanese/texinfo/files/patch-util_texi2dvi | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/japanese/texinfo/files/patch-util_texi2dvi b/japanese/texinfo/files/patch-util_texi2dvi new file mode 100644 index 000000000000..37e7e025fba6 --- /dev/null +++ b/japanese/texinfo/files/patch-util_texi2dvi @@ -0,0 +1,29 @@ +--- util/texi2dvi.orig Fri Mar 5 19:45:29 2004 ++++ util/texi2dvi Fri Mar 5 19:48:08 2004 +@@ -449,7 +449,7 @@ + *) + # Assume a Texinfo file. Texinfo files need makeinfo, texindex and tex. + bibtex= +- texindex=${TEXINDEX:-texindex} ++ texindex=${TEXINDEX:-jtexindex} + textra_cmd='/^@setfilename/a' + if test $oformat = dvi; then + tex=${TEX:-ptex} +@@ -459,7 +459,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. +@@ -476,7 +476,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: + test "$txiformat" = Texinfo && escape=@ |