Condor name change:    admin-man/configure.tex (HIGHPORT defn thru end of schedd knobs subsection)
Condor name change:    admin-man/configure.tex
(HIGHPORT defn thru end of schedd knobs subsection)

djw8605/condor,djw8605/condor,neurodebian/htcondor,zhangzhehust/htcondor,htcondor/htcondor,zhangzhehust/htcondor,neurodebian/htcondor,htcondor/htcondor,htcondor/htcondor,djw8605/condor,zhangzhehust/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,djw8605/condor,djw8605/htcondor,djw8605/htcondor,htcondor/htcondor,djw8605/htcondor,djw8605/htcondor,neurodebian/htcondor,htcondor/htcondor,zhangzhehust/htcondor,neurodebian/htcondor,djw8605/condor,zhangzhehust/htcondor,neurodebian/htcondor,djw8605/htcondor,zhangzhehust/htcondor,djw8605/htcondor,zhangzhehust/htcondor,htcondor/htcondor,djw8605/condor,neurodebian/htcondor,neurodebian/htcondor,djw8605/htcondor,djw8605/htcondor,djw8605/condor,neurodebian/htcondor,djw8605/condor,zhangzhehust/htcondor,htcondor/htcondor,htcondor/htcondor,djw8605/htcondor