DOC: Correct path in build instructions
Warning
Florian Spreckelsen
created pipeline for commit
1aa972ef
, finished
1 related merge request: !48 Fix compilation errors on Windows
55 minutes 16 seconds, queued for 2 seconds