summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2011-05-24 11:28:14 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2011-05-24 11:28:14 +0000
commit8994d0c1fae93d05483786b4f7d1e92c91765d65 (patch)
tree520d437d1ab4f7b83b0fc6717d23380c3ce7eb68 /Build/source/texk/web2c/configure
parent37f827f0b8b1b7201265f99233642947f1186a20 (diff)
WIN32: build C program replacements for Unix shell scripts (from Akira's W32TeX)
git-svn-id: svn://tug.org/texlive/trunk@22600 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/configure')
-rwxr-xr-xBuild/source/texk/web2c/configure3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure
index 3d6b8806606..39f01c3046b 100755
--- a/Build/source/texk/web2c/configure
+++ b/Build/source/texk/web2c/configure
@@ -22698,7 +22698,7 @@ fi
subdirs="$subdirs web2c"
-ac_config_files="$ac_config_files Makefile doc/Makefile lib/Makefile man/Makefile omegafonts/Makefile otps/Makefile window/Makefile"
+ac_config_files="$ac_config_files Makefile doc/Makefile lib/Makefile man/Makefile omegafonts/Makefile otps/Makefile otps/win32/Makefile window/Makefile"
ac_config_files="$ac_config_files web2c-sh"
@@ -23952,6 +23952,7 @@ do
"man/Makefile") CONFIG_FILES="$CONFIG_FILES man/Makefile" ;;
"omegafonts/Makefile") CONFIG_FILES="$CONFIG_FILES omegafonts/Makefile" ;;
"otps/Makefile") CONFIG_FILES="$CONFIG_FILES otps/Makefile" ;;
+ "otps/win32/Makefile") CONFIG_FILES="$CONFIG_FILES otps/win32/Makefile" ;;
"window/Makefile") CONFIG_FILES="$CONFIG_FILES window/Makefile" ;;
"web2c-sh") CONFIG_FILES="$CONFIG_FILES web2c-sh" ;;
"tangle-sh") CONFIG_FILES="$CONFIG_FILES tangle-sh" ;;