[ travis ] protect doc v1.2

Author: gallais

.travis.yml

@@ -100,7 +100,7 @@ after_success:
   - git config --global user.email "[email protected]"
   - git remote add upstream https://[email protected]/agda/agda-stdlib.git &>/dev/null
   - git fetch upstream && git reset upstream/gh-pages
-  - git checkout HEAD -- *.html v0.16/ v0.17/ v1.0/ v1.1/ experimental/
+  - git checkout HEAD -- *.html v0.16/ v0.17/ v1.0/ v1.1/ v1.2/ experimental/
   - git add -f \*.html
   - git commit -m "Automatic HTML update via Travis"
   - if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "experimental" ];