diff options
| author | taoka <taoka@FreeBSD.org> | 1999-09-07 12:52:54 +0800 |
|---|---|---|
| committer | taoka <taoka@FreeBSD.org> | 1999-09-07 12:52:54 +0800 |
| commit | 3205f509a1bbb086a53bd8ef66f5a1790fdd64e9 (patch) | |
| tree | e2eabeb772b5cfa4c0e56f36dd2b72e63fb4e015 /japanese/texinfo/files/patch-ab | |
| parent | 5833db2e3a810549111f267fa857bcb649539826 (diff) | |
| download | freebsd-ports-graphics-3205f509a1bbb086a53bd8ef66f5a1790fdd64e9.tar.gz freebsd-ports-graphics-3205f509a1bbb086a53bd8ef66f5a1790fdd64e9.tar.zst freebsd-ports-graphics-3205f509a1bbb086a53bd8ef66f5a1790fdd64e9.zip | |
Typeset Texinfo files for printing. Uses TeX (supported japanese)
PR: 13369
Submitted by: Mitsuru Yoshida <mitsuru@riken.go.jp>
Diffstat (limited to 'japanese/texinfo/files/patch-ab')
| -rw-r--r-- | japanese/texinfo/files/patch-ab | 29 |
1 files changed, 29 insertions, 0 deletions
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 |