diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-20 06:33:49 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-20 06:33:49 +0000 |
commit | c069df30824ac859800243880e32f7dbdd6a9735 (patch) | |
tree | 79aa9f28ec870179384b1408e6d70e33ec703bec /Build/source/texk/web2c/configure | |
parent | 24b38822a35c7e7092f43ae7899072b8a41be5be (diff) |
build system: some cleanup and better pTeX integration
git-svn-id: svn://tug.org/texlive/trunk@17940 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/configure')
-rwxr-xr-x | Build/source/texk/web2c/configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure index fc23a1d23e8..399b6639116 100755 --- a/Build/source/texk/web2c/configure +++ b/Build/source/texk/web2c/configure @@ -22010,7 +22010,7 @@ fi subdirs="$subdirs web2c" -ac_config_files="$ac_config_files Makefile doc/Makefile lib/Makefile man/Makefile omegafonts/Makefile otps/Makefile ptexdir/lib/Makefile window/Makefile" +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 web2c-sh" @@ -23210,7 +23210,6 @@ 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" ;; - "ptexdir/lib/Makefile") CONFIG_FILES="$CONFIG_FILES ptexdir/lib/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" ;; |