[ travis ] finally fixing the doc build?

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/ v1.2/ experimental/
+  - git checkout HEAD -- 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" ];

README.agda

@@ -313,6 +313,11 @@ import README.Text.Tree
 
 import README.Tactic.MonoidSolver
 
+-- Explaining how the Haskell FFI works
+
+import README.Foreign.Haskell
+
+
 ------------------------------------------------------------------------
 -- Core modules
 ------------------------------------------------------------------------