diff -r 483bc6ed7292 -r 96f81c791f0c doc/Makefile
--- a/doc/Makefile	Fri Apr 18 06:20:32 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-all:
-	$(MAKE) -C ..