diff options
Diffstat (limited to 'japanese/texinfo/files/patch-util_texi2dvi')
| -rw-r--r-- | japanese/texinfo/files/patch-util_texi2dvi | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/japanese/texinfo/files/patch-util_texi2dvi b/japanese/texinfo/files/patch-util_texi2dvi deleted file mode 100644 index 37e7e025fba6..000000000000 --- a/japanese/texinfo/files/patch-util_texi2dvi +++ /dev/null @@ -1,29 +0,0 @@ ---- 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=@ |