diff --git a/docs/sphinx/tools.rst b/docs/sphinx/tools.rst
index 15560995..d3163904 100644
--- a/docs/sphinx/tools.rst
+++ b/docs/sphinx/tools.rst
@@ -145,4 +145,6 @@ The following tools provide support for specific compilers or configurations. Mo
 	tools/gnu_dirs
 	tools/intltool
 	tools/lua
+	tools/nobuild
+