[release-4.13] NOISSUE: Fix output directory name in devenv docs#1536

openshift-merge-robot merged 1 commit intoopenshift:release-4.13openshift/microshift:release-4.13from

openshift-cherrypick-robot:cherry-pick-1534-to-release-4.13openshift-cherrypick-robot/microshift:cherry-pick-1534-to-release-4.13Copy head branch name to clipboard