# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1475458636 25200
# Node ID d4403d13fb31154247ea4095f354551c8154d9f0
# Parent  2064d617fe56dd51334bef7c81c5c0daca6f1746
correct

diff -r 2064d617fe56 -r d4403d13fb31 bin/make-targets.sh
--- a/bin/make-targets.sh	Wed Sep 28 17:58:48 2016 -0700
+++ b/bin/make-targets.sh	Sun Oct 02 18:37:16 2016 -0700
@@ -1,3 +1,4 @@
 #!/bin/bash
 # list makefile targets
-make -pn | grep '^ *[^#].*:.*' | sed 's/\([^:]+\):.*/\1/' | sort | uniq
\ No newline at end of file
+# from http://stackoverflow.com/questions/4219255/how-do-you-get-the-list-of-targets-in-a-makefile
+make -pRrq  2>/dev/null | awk -v RS= -F: '/^# File/,/^# Finished Make data base/ {if ($1 !~ "^[#.]") {print $1}}' | sort | egrep -v -e '^[^[:alnum:]]' -e '^$@$'
\ No newline at end of file