diff -r f16b38b8b696 -r 88e573e033f1 examples/Makefile.am
--- a/examples/Makefile.am	Tue Oct 21 09:33:00 2008 +0000
+++ b/examples/Makefile.am	Tue Oct 21 09:58:19 2008 +0000
@@ -31,9 +31,19 @@
 #
 #------------------------------------------------------------------------------
 
+if ENABLE_USERLIB
+SUBDIRS = user
+endif
+
 DIST_SUBDIRS = \
 	mini \
 	rtai \
 	user
 
+EXTRA_DIST = \
+	Kbuild.in
+
+BUILT_SOURCES = \
+	Kbuild
+
 #------------------------------------------------------------------------------