summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile.am10
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