diff options
| author | Michael Kerrisk <mtk.manpages@gmail.com> | 2007-06-14 05:57:12 +0000 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2007-06-14 05:57:12 +0000 |
| commit | f99f8b423a2cf4f10125d083c38e461e80acd96e (patch) | |
| tree | 19f31577b5c7a3ef8470790a3441e427965a166c /scripts | |
| parent | f4a411231c9d141152460cb9c0c81c12fd12bd9b (diff) | |
| download | man-pages-f99f8b423a2cf4f10125d083c38e461e80acd96e.tar.gz | |
handle "FIXME ?"
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/FIXME_list.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/FIXME_list.sh b/scripts/FIXME_list.sh index e823801061..8e99fa4d24 100644 --- a/scripts/FIXME_list.sh +++ b/scripts/FIXME_list.sh @@ -45,7 +45,13 @@ for dir in "$@"; do # /.\" FIXME . / ==> do not display this FIXME, unless # -a command-line option was supplied - if (!($0 ~ /^\.\\\" FIXME \./ ) || SHOW_ALL == "y") { + if ($0 ~ /^\.\\\" FIXME \./ ) + FIXME_type = "hidden" + else if ($0 ~ /^\.\\\" FIXME *\?/ ) + FIXME_type = "question" + else + FIXME_type = "normal"; + if (FIXME_type == "normal" || SHOW_ALL == "y") { if (page_FIXME_cnt == 0) { print "=========="; print PAGE_NAME; |