diff --git a/scripts/man_show_fixme.sh b/scripts/man_show_fixme.sh index 9e1736c20..70d3fbbe0 100644 --- a/scripts/man_show_fixme.sh +++ b/scripts/man_show_fixme.sh @@ -11,6 +11,13 @@ for f in $*; do # ignored by this script } else { sub("FIXME[: ]*", "") + if ($0 ~ /^\.\\\"[ ]*$/) { + + # If the FIXME line contains no additional text after + # "FIXME", then discard the blank line + + getline + } print "" if (fixme == 0) { print ".TS"