diff --git a/Makefile.inc1 b/Makefile.inc1
index 85612251861d..122dc7760147 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -849,7 +849,9 @@ WMAKE_TGTS+=	_build-tools _cross-tools
 WMAKE_TGTS+=	_compiler-metadata
 WMAKE_TGTS+=	_includes
 .endif
+.if !defined(NO_LIBS)
 WMAKE_TGTS+=	_libraries
+.endif
 WMAKE_TGTS+=	everything
 .if defined(LIBCOMPAT) && empty(SUBDIR_OVERRIDE)
 WMAKE_TGTS+=	build${libcompat}
diff --git a/share/man/man7/build.7 b/share/man/man7/build.7
index d65591d8ae03..987e34b26319 100644
--- a/share/man/man7/build.7
+++ b/share/man/man7/build.7
@@ -605,6 +605,8 @@ If set, the update process does not update the source of the
 documentation as part of the
 .Dq make update
 target.
+.It Va NO_LIBS
+If set, the libraries phase will be skipped.
 .It Va NO_OBJ
 If set, no object directories will be created.
 This should only be used if object directories were created in a