diff --git a/.travis/docs.sh b/.travis/docs.sh deleted file mode 100755 index e64a743d..00000000 --- a/.travis/docs.sh +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/bash - -set -o errexit - -shopt -s globstar - -cargo doc --no-deps - -git clone --branch gh-pages "https://$TOKEN@github.com/${TRAVIS_REPO_SLUG}.git" deploy_docs > /dev/null 2>&1 -cd deploy_docs - - -git config user.name "Sean McArthur" -git config user.email "sean.monstar@gmail.com" - -if [ "$TRAVIS_TAG" = "" ]; then - rm -rf master - mv ../target/doc ./master - echo "" > ./master/index.html -fi - - -git add -A . -git commit -m "rebuild pages at ${TRAVIS_COMMIT}" - -echo -echo "Pushing docs..." -git push --quiet origin gh-pages > /dev/null 2>&1 -echo -echo "Docs published." -echo - diff --git a/.travis/readme.py b/.travis/readme.py deleted file mode 100755 index d1cf57be..00000000 --- a/.travis/readme.py +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env python - -import re - -f = open('README.md', 'r') -raw = f.read() - -for (i, code) in enumerate(re.findall(r'```rust([^`]*)```', raw, re.M)): - with open('examples/readme_%s.rs' % i, 'w') as f: - f.write('#![deny(warnings)]%s' % code)