diff --git a/configure b/configure
index 2fb1229..07ef9b4 100755
--- a/configure
+++ b/configure
@@ -7109,7 +7109,7 @@ LIBHEADERSPRIV="\$(COREHEADERSPRIV) \$(DRIVERHEADERSPRIV)"
 case "$COMPONENTS" in #(
   all) :
 
-    BUILDDIRS="tools filter backend berkeley cgi-bin monitor notifier ppdc scheduler systemv conf data desktop locale man doc examples templates"
+    BUILDDIRS="tools filter backend berkeley cgi-bin monitor notifier ppdc scheduler systemv conf data desktop locale man examples templates"
  ;; #(
   core) :
 
-- 
2.25.1