Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-22 20:53:21 +00:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #1109 from Manishearth/setup-gh-pages

Browse source 
Fix deploy.sh and python2 usage
This commit is contained in:
Martin Carton 2016-07-19 22:13:24 +02:00 committed by GitHub
commit 46ad7d00a2
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/deploy.sh vendored
View file

@ -24,7 +24,7 @@ rm -rf out/master/ || exit 0
# Make the doc for master # Make the doc for master
mkdir out/master/ mkdir out/master/
cp util/gh-pages/index.html out/master cp util/gh-pages/index.html out/master
./util/export.py out/master/lints.json python ./util/export.py out/master/lints.json
# Save the doc for the current tag and point current/ to it # Save the doc for the current tag and point current/ to it
if [ -n "$TRAVIS_TAG" ]; then if [ -n "$TRAVIS_TAG" ]; then

6
util/export.py
View file

@ -21,15 +21,15 @@ This lint has the following configuration variables:
# TODO: actual logging # TODO: actual logging
def warn(*args): def warn(*args):
print(*args) print(args)
def debug(*args): def debug(*args):
print(*args) print(args)
def info(*args): def info(*args):
print(*args) print(args)
def parse_path(p="clippy_lints/src"): def parse_path(p="clippy_lints/src"):