diff options
Diffstat (limited to 'Build/source/reautoconf')
-rwxr-xr-x | Build/source/reautoconf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/reautoconf b/Build/source/reautoconf index 689f7608a28..805e72c72b3 100755 --- a/Build/source/reautoconf +++ b/Build/source/reautoconf @@ -98,7 +98,7 @@ for dir in `find utils libs texk -name configure.in | sed 's,/configure.in$,,'`; ;; texk/*) rdir=`echo $dir | sed -e 's,^texk/,,' -e 's,[^/]*,..,g'`/m4 case $dir in - */devnag|*/dvipdfmx) + */devnag|*/dvipdfmx|*/xdvipdfmx) (cd $dir; acnew);; *) (cd $dir; acold);; esac |