[ travis ] gh-pages deployment

.travis.yml

@@ -26,4 +26,17 @@ install:
 
 script:
   - cd ../src/
-  - agda linear/README.agda
+  - agda --html linear/README.agda
+  - cd ../
+  - mv src/html/* .
+
+after_success:
+  # uploading to gh-pages
+  - git init
+  - git config --global user.name "Travis CI bot"
+  - git config --global user.email "[email protected]"
+  - git remote add upstream https://[email protected]/gallais/typing-with-leftover.git &>/dev/null
+  - git fetch upstream && git reset upstream/gh-pages
+  - git add -f \*.html
+  - git commit -m "Automatic HTML update via Travis"
+  - git push -q upstream HEAD:gh-pages &>/dev/null;