adding

diff --git a/doc/mk-debugs.sh b/doc/mk-debugs.sh
new file mode 100644 (file)
index 0000000..c4f0599
--- /dev/null
+++ b/doc/mk-debugs.sh
@@ -0,0 +1,4 @@
+cat ../src/*.c \
+       | grep DEBUG: \
+       | sed -e 's/ \* DEBUG: //' \
+       | sort -n +1