diff -r 73b26ab97690 -r aa4a3a04fb4c doc/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/Makefile	Tue Jul 04 10:06:24 2006 +0000
@@ -0,0 +1,2 @@
+all:
+	$(MAKE) -C ..