diff --git a/GNUmakefile.in b/GNUmakefile.in
index 50fae4128aa32..986d03ad35104 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -13,9 +13,6 @@ $(call recurse,all install,src config)
 all:
 	+@echo "All of PostgreSQL successfully made. Ready to install."
 
-docs:
-	$(MAKE) -C doc all
-
 $(call recurse,world,doc src config contrib,all)
 world:
 	+@echo "PostgreSQL, contrib, and documentation successfully made. Ready to install."