Be sure "make" understands the "doc" target is phony.

freddrake · freddrake · commit 90fc0a71a52c · 1999-03-17T16:06:51.000Z
diff --git a/Doc/Makefile b/Doc/Makefile
@@ -61,7 +61,7 @@ VERSION=1.5
 
 # These must be declared phony since there
 # are directories with matching names:
-.PHONY: api ext lib mac ref tut
+.PHONY: api doc ext lib mac ref tut
 .PHONY: html info
 
 
