summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ptexdir/reautoconf
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/reautoconf')
-rwxr-xr-xBuild/source/texk/web2c/ptexdir/reautoconf7
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/reautoconf b/Build/source/texk/web2c/ptexdir/reautoconf
new file mode 100755
index 00000000000..0bf54835df3
--- /dev/null
+++ b/Build/source/texk/web2c/ptexdir/reautoconf
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+set -x
+LANG=C
+rm -rf ../autom4te.cache/
+
+(cd ../../../; ./reautoconf texk/web2c)