From 0524b5b9acae18792677c8116f75cdd81c0e0966 Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Sat, 29 Oct 2016 13:49:24 +0200 Subject: [PATCH] man_show_fixme.sh: script to show FIXMEs in rendered man pages A script that renders man pages with FIXMES as table in rendered text. Signed-off-by: Michael Kerrisk --- scripts/man_show_fixme.sh | 45 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 scripts/man_show_fixme.sh diff --git a/scripts/man_show_fixme.sh b/scripts/man_show_fixme.sh new file mode 100644 index 000000000..88a8330a3 --- /dev/null +++ b/scripts/man_show_fixme.sh @@ -0,0 +1,45 @@ +#!/bin/sh +# +# Render man pages with FIXMEs shown as tables +# in the rendered page +# +for f in $*; do + cat $f | awk ' + /^\.\\\" *FIXME/ { + if ($0 ~ /.*FIXME *\..*/) { + } else { + sub("FIXME[: ]*", "") + print "" + if (fixme == 0) { + print ".TS" + print ".allbox;" + print "lbw55" + print "l." + print "FIXME" + print "T{" + } + fixme = 1 + } + } + + $0 !~ /^\.\\\"/ && fixme == 1 { + fixme = 0 + print "T}" + print ".TE" + print "" + } + + fixme == 1 { + sub("^\\...[ ]", "") + sub("^\\...", "") + if ($0 ~ /^[ ][ ]*.*/) { + print ".br" + sub("^[ ]*", "") + } + } + + { + print $0 + } + ' | tee "/tmp/$(basename $f).src" | man -l /dev/stdin +done