set up auto-pub

.travis.yml

@@ -0,0 +1,15 @@
+sudo: false
+language: python
+python:
+- '2.7'
+install:
+- pip install pygments lxml setuptools --upgrade
+- git clone https://github.com/tabatkins/bikeshed.git
+- pip install --editable $PWD/bikeshed
+- bikeshed update
+script:
+- bash "./deploy.sh"
+env:
+  global:
+  - ENCRYPTION_LABEL: "781c04ca6946"
+  - COMMIT_AUTHOR_EMAIL: "[email protected]"

compile.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+set -e # Exit with nonzero exit code if anything fails
+
+bikeshed spec
+
+if [ -d out ]; then
+  echo Copy the generated spec into out/index.html
+  cp index.html out/index.html
+fi

deploy.sh

@@ -0,0 +1,66 @@
+#!/bin/bash
+set -e # Exit with nonzero exit code if anything fails
+
+# From https://gist.github.com/domenic/ec8b0fc8ab45f39403dd
+
+SOURCE_BRANCH="master"
+TARGET_BRANCH="gh-pages"
+
+function doCompile {
+  chmod 755 ./compile.sh
+  ./compile.sh
+}
+
+# Pull requests and commits to other branches shouldn't try to deploy, just build to verify
+if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "$SOURCE_BRANCH" ]; then
+    echo "Skipping deploy; just doing a build."
+    doCompile
+    exit 0
+fi
+
+# Save some useful information
+REPO=`git config remote.origin.url`
+SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
+SHA=`git rev-parse --verify HEAD`
+
+# 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
+cd ..
+
+# Clean out existing contents
+rm -rf out/**/* || exit 0
+
+# Run our compile script
+doCompile
+
+# Now let's go have some fun with the cloned repo
+cd out
+git config user.name "Travis CI"
+git config user.email "$COMMIT_AUTHOR_EMAIL"
+
+# If there are no changes to the compiled out (e.g. this is a README update) then just bail.
+if git diff --quiet; then
+    echo "No changes to the output on this push; exiting."
+    exit 0
+fi
+
+# Commit the "changes", i.e. the new version.
+# The delta will show diffs between new and old versions.
+git add -A .
+git commit -m "Deploy to GitHub Pages: ${SHA}"
+
+# Get the deploy key by using Travis's stored variables to decrypt deploy_key.enc
+ENCRYPTED_KEY_VAR="encrypted_${ENCRYPTION_LABEL}_key"
+ENCRYPTED_IV_VAR="encrypted_${ENCRYPTION_LABEL}_iv"
+ENCRYPTED_KEY=${!ENCRYPTED_KEY_VAR}
+ENCRYPTED_IV=${!ENCRYPTED_IV_VAR}
+openssl aes-256-cbc -K $encrypted_781c04ca6946_key -iv $encrypted_781c04ca6946_iv -in ../deploy_key.enc -out ../deploy_key -d
+chmod 600 ../deploy_key
+eval `ssh-agent -s`
+ssh-add ../deploy_key
+
+# Now that we're all set up, we can push.
+git push $SSH_REPO $TARGET_BRANCH

index.bs

@@ -2,13 +2,16 @@
 Title: Intersection Observer
 Status: ED
 ED: https://w3c.github.io/IntersectionObserver/
+URL: https://w3c.github.io/IntersectionObserver/
 Shortname: intersection-observer
+TR: https://www.w3.org/TR/intersection-observer/
 Level: 1
 Editor: Stefan Zager, Google, [email protected]
 Former Editor: Michael Blain, Google, [email protected]
 Abstract: This specification describes  an API that can be used to understand the visibility and position of DOM elements ("targets") relative to a containing element or to the top-level viewport ("root"). The position is delivered asynchronously and is useful for understanding the visibility of elements and implementing pre-loading and deferred loading of DOM content.
 Group: webplatform
 Repository: W3C/IntersectionObserver
+Test Suite: http://w3c-test.org/intersection-observer/
 Ignored Vars: rootMargin, docs
 </pre>