diff -r 000000000000 -r c3eb520e2219 docs/Makefile.am
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/Makefile.am	Mon Jun 16 15:40:30 2008 -0400
@@ -0,0 +1,5 @@
+
+EXTRA_DIST = 			\
+	DEPSOLVE.txt 		\
+	REPO.txt
+