diff --git a/doc/Makefile b/doc/Makefile
index 5856f3de01a899465a19a7bd52be751450cd7655..fad5cfc5f19c998782d38551a0fbea7387ce05c1 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -41,7 +41,7 @@ ALL_DOC_EXAMPLES = muxing
 
 DOC_EXAMPLES     := $(DOC_EXAMPLES-yes:%=doc/examples/%$(EXESUF))
 ALL_DOC_EXAMPLES := $(ALL_DOC_EXAMPLES:%=doc/examples/%$(EXESUF))
-PROGS            += $(DOC_EXAMPLES)
+PROGS            += $(DOC_EXAMPLES-yes:%=doc/examples/%)
 
 all-$(CONFIG_DOC): doc