From aa35adec744dea4d3109bb90db124da8e3cdb21f Mon Sep 17 00:00:00 2001 From: Thomas Nagy Date: Sat, 2 Jan 2016 00:56:33 +0100 Subject: [PATCH] docs: fixed 'document is not included in any toctree' --- docs/sphinx/tools.rst | 2 ++ 1 file changed, 2 insertions(+) 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 +