diff --git a/devel-docs/Makefile.am b/devel-docs/Makefile.am
index 747955d342..ea9fc30d15 100644
--- a/devel-docs/Makefile.am
+++ b/devel-docs/Makefile.am
@@ -13,7 +13,6 @@ EXTRA_DIST = \
 	ChangeLog		\
 	README			\
 	README.gtkdoc		\
-	app			\
 	debug-plug-ins.txt	\
 	gbr.txt			\
 	ggr.txt  		\