chore(ci): remove unused .travis directory

This commit is contained in:
Sean McArthur
2020-05-15 22:07:16 +00:00
parent aac0e2dd57
commit ccd7ebdbb1
2 changed files with 0 additions and 42 deletions

View File

@@ -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 "<meta http-equiv=refresh content=0;url=hyper/index.html>" > ./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

View File

@@ -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)