summaryrefslogtreecommitdiff
path: root/Build/source/reautoconf
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/reautoconf')
-rwxr-xr-xBuild/source/reautoconf16
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