diff options
Diffstat (limited to 'Build/source/texk/xdvik/mksedscript')
-rwxr-xr-x | Build/source/texk/xdvik/mksedscript | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/xdvik/mksedscript b/Build/source/texk/xdvik/mksedscript index 0acc0ce12b6..7238513d453 100755 --- a/Build/source/texk/xdvik/mksedscript +++ b/Build/source/texk/xdvik/mksedscript @@ -12,6 +12,7 @@ mk_PS_NEWS= mk_A4= mk_MOTIF= mk_COLOR= +mk_HAVE_XI21= # T1 is always true mk_T1=1 @@ -60,6 +61,7 @@ if test -z "$mk_GREY"; then echo '/^#ifgrey/,/^#/d'; fi if test -z "$mk_PS_DPS"; then echo '/^#ifdps/,/^#/d'; fi if test -z "$mk_PS_NEWS"; then echo '/^#ifnews/,/^#/d'; fi if test -z "$mk_T1"; then echo '/^#ift1/,/^#/d'; fi +if test -z "$mk_HAVE_XI21"; then echo '/^#ifxi21/,/^#/d'; fi if test -z "$mk_MOTIF"; then echo '/^#ifmotif/,/^#/d'; else echo '/^#ifxaw/,/^#/d'; fi |