diff --git a/share/tools/webupdate b/share/tools/webupdate index e393fd7854..4b2322ab72 100755 --- a/share/tools/webupdate +++ b/share/tools/webupdate @@ -127,7 +127,6 @@ if [ $cond ]; then rm -Rf $subtrees 2>/dev/null; # Check out the new copies. This creates all the $subtrees. - #svn co $SVNROOT/doc/head head >> $LOGFILE 2>&1 || exit 2; git clone -b main $GITROOT/doc.git main >> $LOGFILE 2>&1 || exit 2; test -d relnotes || mkdir relnotes; @@ -140,9 +139,6 @@ if [ $cond ]; then rm -f $BUILDDIR/fullbuild-clean.flag else for dir in ${subtrees}; do - #svn cleanup $dir >> $LOGFILE 2>&1 || exit 2; - #svn update --accept theirs-full $dir >> $LOGFILE 2>&1 || exit 2; - #git -C main clean -f >> $LOGFILE 2>&1 || exit 2; git -C main pull --rebase >> $LOGFILE 2>&1 || exit 2; done fi