diff -r 44c2b7c0ae1a -r 0037a63d3cc5 examples/Makefile.am
--- a/examples/Makefile.am	Thu Apr 23 14:45:07 2009 +0000
+++ b/examples/Makefile.am	Thu Apr 23 14:50:23 2009 +0000
@@ -28,10 +28,14 @@
 #------------------------------------------------------------------------------
 
 if ENABLE_USERLIB
-SUBDIRS = user
+SUBDIRS = \
+	dc_user \
+	user
 endif
 
 DIST_SUBDIRS = \
+	dc_rtai \
+	dc_user \
 	mini \
 	rtai \
 	user