(all_programs.list): Strip $(EXEEXT) and remove duplicates.

diff --git a/src/Makefile.am b/src/Makefile.am
index 468ed5dd7702843ce45be6dfed71b4ca3565100f..d70028facdd42ee64d518b1a9edaa1367682d9f3 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -228,7 +228,8 @@ all_programs = \
   $(EXTRA_PROGRAMS)
 
 all_programs.list:
-       @echo $(all_programs) | tr ' ' '\n' | $(ASSORT)
+       @echo $(all_programs) | tr ' ' '\n' | sed -e 's,$(EXEEXT)$$,,' \
+         | $(ASSORT) -u
 
 pm = progs-makefile
 pr = progs-readme