Avoid running commands with the Shell option, which breaks due to spaces in paths
[hadrian.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 2800 cross-compile.md
-rw-r--r-- 4371 flavours.md
-rw-r--r-- 8450 user-settings.md
-rw-r--r-- 2783 windows.md