doc: git repository path corrected
Merge branch 'mzueger/develop'