- ignore missing helptext for options which are not selectable.

This commit is contained in:
Bernhard Reutner-Fischer 2006-05-05 14:05:21 +00:00
parent 4f7953cc3c
commit 0e413e53e9

View File

@ -23,6 +23,9 @@
/^[[:space:]]*help[[:space:]]*$/ { /^[[:space:]]*help[[:space:]]*$/ {
help[pos] = 1; help[pos] = 1;
} }
/^[[:space:]]*bool[[:space:]]*$/ {
help[pos] = 1; # ignore options which are not selectable
}
BEGIN { BEGIN {
pos = -1; pos = -1;
is_choice = 0; is_choice = 0;