diff options
Diffstat (limited to 'Build/source/texk/configure')
| -rwxr-xr-x | Build/source/texk/configure | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Build/source/texk/configure b/Build/source/texk/configure index af1e275bb0c..e3035fd03a4 100755 --- a/Build/source/texk/configure +++ b/Build/source/texk/configure @@ -751,7 +751,6 @@ enable_updmap enable_makeindexk enable_makejvf enable_mendexk -enable_musixflx enable_ps2pkm enable_seetexk enable_tex4htk @@ -1552,7 +1551,6 @@ Optional Features: --disable-makeindexk do not build the makeindexk package --disable-makejvf do not build the makejvf package --disable-mendexk do not build the mendexk package - --disable-musixflx do not build the musixflx package --disable-ps2pkm do not build the ps2pkm package --disable-seetexk do not build the seetexk package --disable-tex4htk do not build the tex4htk package @@ -4247,24 +4245,6 @@ test "x$enable_mendexk" = xno || { } -## texk/musixflx/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory texk/musixflx/ -## configure options and TL libraries required for musixflx -# Check whether --enable-musixflx was given. -if test "${enable_musixflx+set}" = set; then : - enableval=$enable_musixflx; -fi -case $enable_musixflx in #( - yes|no) : - ;; #( - *) : - - enable_musixflx=$enable_all_pkgs - { $as_echo "$as_me:${as_lineno-$LINENO}: Assuming \`--enable-musixflx=$enable_musixflx'" >&5 -$as_echo "$as_me: Assuming \`--enable-musixflx=$enable_musixflx'" >&6;} - ac_configure_args="$ac_configure_args '--enable-musixflx=$enable_musixflx'" - ;; -esac - ## texk/ps2pkm/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory texk/ps2pkm/ ## configure options and TL libraries required for ps2pkm |