Travis-CI integration for building the core HTML spec (WebAssembly#638)

* Travis-CI integration for building the core HTML spec

* Use sudo for installing sphinx :(

* Use Makefile for CI build, including pdf

TeX is installed with texlive-full package; maybe there is a smaller
package that would be adequate.

* Apply @rossberg's makefile code review advice

Author: littledan

.travis.yml

@@ -1,16 +1,17 @@
 language: c++
 
-sudo: off
+sudo: on
 
-install: ./interpreter/meta/travis/install-ocaml.sh
+install:
+  - ./interpreter/meta/travis/install-ocaml.sh
+  - sudo pip install sphinx
+  - sudo apt-get install texlive-full
 
 script:
   - ./interpreter/meta/travis/build-test.sh
   - bash ./document/travis-deploy.sh
 
-os:
-  - linux
-  - osx
+os: linux
 
 env:
   global:

document/travis-deploy.sh

@@ -9,24 +9,12 @@ TARGET_BRANCH="gh-pages"
 
 function doCompile {
   # TODO(littledan): Integrate with document/deploy.sh
-  cd document/js-api
-  make
-  cd ../web-api
-  make
-  cd ../../out
-  if [[ ! -e js-api ]]; then mkdir js-api; fi
-  mv ../document/js-api/_build/html/index.html js-api/index.html
-  git add js-api/index.html
-  if [[ ! -e web-api ]]; then mkdir web-api; fi
-  mv ../document/web-api/_build/html/index.html web-api/index.html
-  git add web-api/index.html
-  cd ../
+  (cd document; make)
 }
 
 # Pull requests and commits to other branches shouldn't try to deploy, just build to verify
 if [[ "$TRAVIS_PULL_REQUEST" != "false" || "$TRAVIS_BRANCH" != "$SOURCE_BRANCH" ]]; then
   echo "Skipping deploy; just doing a build."
-  mkdir out
   doCompile
   exit 0
 fi
@@ -48,19 +36,20 @@ ssh-add deploy_key || true
 
 # Clone the existing gh-pages for this repo into out/
 # Create a new empty branch if gh-pages doesn't exist yet (should only happen on first deply)
-git clone $REPO out
-cd out
-git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH
+git clone $REPO document/_build
+(
+  cd document/_build
+  git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH
 
-# Clean out existing contents
-git reset --hard
+  # Clean out existing contents
+  git reset --hard
+)
 
 # Run our compile script
-cd ..
 doCompile
 
 # Now let's go have some fun with the cloned repo
-cd out
+cd document/_build
 git config user.name "Travis CI"
 git config user.email "$COMMIT_AUTHOR_EMAIL"