Differences From Artifact [b7552da8d5]:

• Executable file mttroot/mtt/bin/trans/mtt_make_menu — part of check-in [5cd1d36fe0] at 2002-04-17 16:38:47 on branch origin/master — Now puts representation and examples files in:
  ~/.mtt/xmtt/reps and ~/.mtt/xmtt/examples and
  automatically updates these as required.
  xmtt --help more informative now.
  Long and short options available. (user: gawthrop@users.sourceforge.net, size: 2823) [annotate] [blame] [check-ins using] [more...]

To Artifact [7786b633df]:

• Executable file mttroot/mtt/bin/trans/mtt_make_menu — part of check-in [66bb5feadf] at 2002-04-28 18:41:27 on branch origin/master — Fixed [ 549658 ] awk should be gawk.
  Replaced calls to awk with call to gawk. (user: geraint@users.sourceforge.net, size: 2824) [annotate] [blame] [check-ins using] [more...]

73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

EOF

for sys in $systems; do
    echo .sys.sys add radio -label "$sys"  -command {set system "$sys"} 
done

# Create the options menu
mtt |  awk '{
  if (Options) {
    option=substr($1,2);
    label="";
    for (i=2;i<=NF;i++)
      label = sprintf("%s %s",label,$i);
    printf(".opt.opt add check -label \"%s (-%s)\" -variable %s -command {set args \"$args -%s\" }\n", label, option, option, option); 
  }

|

73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

EOF

for sys in $systems; do
    echo .sys.sys add radio -label "$sys"  -command {set system "$sys"} 
done

# Create the options menu
mtt |  gawk '{
  if (Options) {
    option=substr($1,2);
    label="";
    for (i=2;i<=NF;i++)
      label = sprintf("%s %s",label,$i);
    printf(".opt.opt add check -label \"%s (-%s)\" -variable %s -command {set args \"$args -%s\" }\n", label, option, option, option); 
  }