If your machine doesn't have AFS, you can have git use ssh to interact with the main repo. Your clone command would look like this: {code} -$ git clone ssh://chopin.cs.wisc.edu/p/condor/repository/CONDOR_SRC.git +$ git clone ssh://library.cs.wisc.edu/p/condor/repository/CONDOR_SRC.git {endcode} The main source repository now includes the documentation sources as well.