The user docs incorrectly reference the devenv directory
Merge pull request #1692 from hschilling/docs_bug

The user docs incorrectly reference the devenv directory