From 447a95c2dd42863dc11b210dd1e1dd857017a954 Mon Sep 17 00:00:00 2001 From: Adrien Gougeon Date: Tue, 17 Jan 2023 14:41:49 +0100 Subject: [PATCH] fix doc typo --- docs/source/Developers_Documentation.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/Developers_Documentation.rst b/docs/source/Developers_Documentation.rst index 8b62e3e9ba..8aac1ef332 100644 --- a/docs/source/Developers_Documentation.rst +++ b/docs/source/Developers_Documentation.rst @@ -140,7 +140,7 @@ In C: Unsorted hints -------------- -* To test thoroughly test your changes before pushing your commits, use several cmake configurations under sub-trees of ``build/`` (that is ignored by git) as +* To thoroughly test your changes before pushing your commits, use several cmake configurations under sub-trees of ``build/`` (that is ignored by git) as explained in :ref:`install_cmake_outsrc`. For example, I have the following directories: build/clang build/full build/mc (but YMMV). * If you break the logs, you want to define XBT_LOG_MAYDAY at the beginning of log.h. It deactivates the whole logging mechanism, switching to printfs instead. -- 2.20.1