+# names ######################################################################
+
+NAMES = basic_1A basic_2A static_2 basic_2
+
+%/names.txt: %/*/*.ma
+ @echo "PROBE $* -ns"
+ $(H)$(PRB_DIR)/$(PRB) $(PRB_OPTS) $* -ns | sort > $@
+
+names: $(NAMES:%=%/names.txt)
+