diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index 5f7908b5ab..0d178e5fc3 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -12383,7 +12383,7 @@ Some notes from Cal: The reason -f is never required when running the - do_devshell + do_devshell task is because the [nostamp] variable flag is already set for the task.