diff -r 56964b20c15d -r a452700db994 master/Makefile
--- a/master/Makefile	Tue Feb 14 14:40:47 2006 +0000
+++ b/master/Makefile	Tue Feb 14 14:50:20 2006 +0000
@@ -48,6 +48,8 @@
 cleandoc:
 	@rm -rf doc
 
+.PHONY: doc
+
 #------------------------------------------------------------------------------
 
 endif