diff options
| -rw-r--r-- | Makefile.am | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 387293a..9a68346 100644 --- a/Makefile.am +++ b/Makefile.am @@ -117,6 +117,14 @@ todo_script = \ /^[0-9]* .[ \t]*\#[ \t]*XXX/,/^[0-9]* \.[ \t]*[^ \t\#]/{ \ /^[0-9]* \.[ \t]*\#/p; \ }; +todo_file_script = \ + H; \ + $${ \ + g; \ + s/^\n*[^\n][^\n]*\n[=-][=-]*\n\n*//; \ + s/\n*[^\n][^\n]*\n[=-][=-]*\n.*$$//; \ + p; \ + }; todo: @set -e; \ printf '\n'; \ @@ -137,7 +145,7 @@ todo: if [ -f '$(top_srcdir)/TODO' ]; then \ printf 'TODO file:\n'; \ printf '==========\n\n'; \ - cat '$(top_srcdir)/TODO'; \ + sed -n '$(todo_file_script)' '$(top_srcdir)/TODO'; \ printf '\n'; \ fi |