Publish RFCs as mdbook to GitHub Pages.

.gitignore

@@ -1 +1,3 @@
 *~
+book/
+src/

.travis.yml

@@ -0,0 +1,26 @@
+language: rust
+before_install:
+  - openssl aes-256-cbc -K $encrypted_1cc96cfefdcd_key -iv $encrypted_1cc96cfefdcd_iv -in rfcs-publish-key.enc -out ~/.ssh/rfcs-publish-key -d
+  - chmod u=rw,og= ~/.ssh/rfcs-publish-key
+  - echo "Host github.com" >> ~/.ssh/config
+  - echo "  IdentityFile ~/.ssh/rfcs-publish-key" >> ~/.ssh/config
+  - git --version
+script:
+  - rev=$(git rev-parse --short HEAD)
+  - (cargo install mdbook --git https://github.com/azerupi/mdBook.git --force || true)
+  - ./generate-book.sh
+  - cd book
+  - git init
+  - git config --global user.name "bors"
+  - git config --global user.email "[email protected]"
+  - git remote add upstream [email protected]:rust-lang/rfcs.git
+  - git fetch upstream
+  - git reset upstream/gh-pages
+  - touch .
+  - git add -A .
+  - git commit -m "Rebuild book at ${rev}"
+  - git push -q upstream HEAD:gh-pages > /dev/null 2>&1
+branches:
+  only:
+    - master
+

generate-book.sh

@@ -0,0 +1,19 @@
+#!/bin/sh
+
+set -e
+
+if [ ! -d src ]; then
+    mkdir src
+fi
+
+echo "[Introduction](introduction.md)\n" > src/SUMMARY.md
+
+for f in $(ls text/* | sort)
+do
+    echo "- [$(basename $f ".md")]($(basename $f))" >> src/SUMMARY.md
+    cp $f src
+done
+
+cp README.md src/introduction.md
+
+mdbook build