mirror of
https://github.com/roswell/roswell.git
synced 2026-09-09 23:06:15 -04:00
edit .travis.yml to remove the function for update man/html (travis-ci is not working for this account already though).
This commit is contained in:
parent
3b39eb2eba
commit
93b08b4276
27
.travis.yml
27
.travis.yml
|
|
@ -36,33 +36,6 @@ jobs:
|
|||
apt:
|
||||
packages:
|
||||
- valgrind
|
||||
- os: linux
|
||||
name: "update documents"
|
||||
if: branch = master
|
||||
install:
|
||||
- find . \( -name \*.lisp -o -name \*.ros \) -type f|xargs wc -l -c
|
||||
- find . \( -name \*.c -o -name \*.h \) -type f|xargs wc -l -c
|
||||
- pandoc -v
|
||||
script:
|
||||
- rm documents/man/* documents/html/*
|
||||
- sh bootstrap
|
||||
- ./configure --enable-manual-generation --enable-html-generation
|
||||
- make
|
||||
- sudo make install
|
||||
- ros config
|
||||
after_success:
|
||||
- git config user.email "auto@example.com"; git config user.name "Travis-CI";
|
||||
- if [ "$TRAVIS_BRANCH" = "master" ]; then
|
||||
git branch;git status;
|
||||
git checkout $TRAVIS_BRANCH;git add -u;git add documents/man/* documents/html/*;
|
||||
git commit -m "[ci skip] documents update";
|
||||
git push --force --quiet "https://${GITHUB_OAUTH_TOKEN}:x-oauth-basic@github.com/roswell/roswell.git" $TRAVIS_BRANCH > /dev/null 2>&1;
|
||||
fi
|
||||
addons:
|
||||
apt:
|
||||
packages:
|
||||
- pandoc
|
||||
- ruby-sass
|
||||
|
||||
#branches:
|
||||
# except:
|
||||
|
|
|
|||
Loading…
Reference in a new issue