use the right repository for the documentation