mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-31 21:57:12 +00:00
30 lines
1.1 KiB
Plaintext
30 lines
1.1 KiB
Plaintext
|
--- 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
|