diff --git a/website/tools.rst b/website/tools.rst index 517fa4fb96..3c9681c8c9 100644 --- a/website/tools.rst +++ b/website/tools.rst @@ -18,6 +18,7 @@ To build a tool in a git bash window: :: cd cmake -S . -B _build + cmake --build _build .. toctree:: :caption: Tools