Skip to content

Commit

Permalink
Halt when TOCBOT updated the wiki
Browse files Browse the repository at this point in the history
  • Loading branch information
dtinth committed Oct 28, 2014
1 parent 99807a0 commit 1db606a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions scripts/UpdateTableOfContents
Expand Up @@ -10,6 +10,7 @@ fi
if (cd wiki && git log -1 --oneline) | grep TOCBOT
then
echo "No update"
exit 0
fi

scripts/GenerateTableOfContents
Expand Down

0 comments on commit 1db606a

Please sign in to comment.