diff --git a/Makefile b/Makefile
index c8cd5f8a820c3efb6c5abb9384759b9f43f57815..aac3f261a22ced2745246a44d2898a0ae22d593d 100644
--- a/Makefile
+++ b/Makefile
@@ -116,6 +116,8 @@ $(CTANARCHIVE): $(SOURCES) $(MAKES) $(EXAMPLES) \
 	DIR=`mktemp -d` && mkdir -p "$$DIR/fibeamer" && \
 	cp --verbose $(TDSARCHIVE) "$$DIR" && \
 	cp --parents --verbose $^ "$$DIR/fibeamer" && \
+	printf '.PHONY: implode\nimplode:\n' > \
+		"$$DIR/fibeamer/example/mu/Makefile" && \
 	(cd "$$DIR" && zip -r -v -nw $@ *) && \
 	mv "$$DIR"/$@ . && rm -rf "$$DIR"