Fix paths and synchronize instructions of git and non-git repos