diff options
Diffstat (limited to 'Build/source/reautoconf')
-rwxr-xr-x | Build/source/reautoconf | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/Build/source/reautoconf b/Build/source/reautoconf index fe42f51fc08..03b61ca969d 100755 --- a/Build/source/reautoconf +++ b/Build/source/reautoconf @@ -139,18 +139,10 @@ for dir in $list; do continue fi case $dir in - .) - rdir=texk/m4 - ;; - texk) - rdir=m4 - ;; - texk/*) - rdir=`echo $dir | sed -e 's,^texk/,,' -e 's,[^/]*,..,g'`/m4 - ;; - *) - rdir=`echo $dir | sed 's,[^/]*,..,g'`/texk/m4 - ;; + .) rdir=texk/m4 ;; + texk) rdir=m4 ;; + texk/*) rdir=`echo $dir | sed -e 's,^texk/,,' -e 's,[^/]*,..,g'`/m4 ;; + *) rdir=`echo $dir | sed 's,[^/]*,..,g'`/texk/m4 ;; esac (cd $dir; do_one) done |