13/06/2023 16:06, David Marchand: > Rename sub directories in this example. > This removes the only special case in examples and will ease a next > change. For more clarity, it could be said what is a special case (name of directory different of the generated binary).