diff options
author | Michael Kerrisk <mtk.manpages@gmail.com> | 2016-10-31 16:44:57 +0100 |
---|---|---|
committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2016-10-31 16:44:57 +0100 |
commit | d3fc509df8b249fe2a724187a363f1288b750551 (patch) | |
tree | 89e41513fed139ffce4dbd41cdbfdfc6eddf8ef7 /scripts | |
parent | c63b7454314d46b63b17c23742fdc4b75ed86c16 (diff) | |
download | man-pages-d3fc509df8b249fe2a724187a363f1288b750551.tar.gz |
man_show_fixme.sh: strip extraneous blank line at start of rendered FIXME output
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/man_show_fixme.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/man_show_fixme.sh b/scripts/man_show_fixme.sh index 9e1736c201..70d3fbbe05 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" |