Fixing deploy (w3c#1412)

* Remove html from repo * Ignore html * Leaning on travis for deploy. Moving to gh-pages.
mfalken · Jun 3, 2019 · c1f3619 · c1f3619
1 parent bf8f037
commit c1f3619
Show file tree

Hide file tree

Showing 7 changed files with 11 additions and 23,686 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,4 @@
 node_modules
-.tern-port
+.tern-port
+docs/index.html
+docs/v1/index.html
diff --git a/.travis.yml b/.travis.yml
@@ -1,9 +1,10 @@
 language: generic
-python:
-- '2.7'
 script:
-- bash "./deploy.sh"
-env:
-  global:
-  - ENCRYPTION_LABEL: "8bb8090ad69a"
-  - COMMIT_AUTHOR_EMAIL: "[email protected]"
+- bash "./compile.sh"
+deploy:
+  local_dir: docs
+  provider: pages
+  skip_cleanup: true
+  github_token: $GITHUB_TOKEN  # Set in the settings page of your repository, as a secure variable
+  on:
+    branch: master
diff --git a/compile.sh b/compile.sh
@@ -26,8 +26,3 @@ curlbikeshed() {
 }
 
 cd docs && curlbikeshed "index.html"
-
-if [ -d out ]; then
-  echo Copy the generated spec into out/index.html
-  cp index.html out/index.html
-fi
diff --git a/deploy.sh b/deploy.sh
diff --git a/deploy_key.enc b/deploy_key.enc