diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-01-06 16:56:41 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-01-06 16:56:41 +0100 |
| commit | 7021fba68ae037edb0899e137785cbe3f5d9ac35 (patch) | |
| tree | f6b1855db03594dddffbc52962b151fd3084d0d6 | |
| parent | 612a472d6c9f01d7b361f7baec15fb52f24654ef (diff) | |
| download | ghdl-7021fba68ae037edb0899e137785cbe3f5d9ac35.tar.gz ghdl-7021fba68ae037edb0899e137785cbe3f5d9ac35.tar.bz2 ghdl-7021fba68ae037edb0899e137785cbe3f5d9ac35.zip | |
Add man pages job to travis (#733)
* add man pages job to travis
| -rw-r--r-- | .travis.yml | 26 | ||||
| -rwxr-xr-x | dist/travis/man.sh | 13 | ||||
| -rwxr-xr-x | dist/travis/travis-ci.sh | 2 |
3 files changed, 30 insertions, 11 deletions
diff --git a/.travis.yml b/.travis.yml index 534db25dd..0394ef611 100644 --- a/.travis.yml +++ b/.travis.yml @@ -31,16 +31,17 @@ env: - IMAGE=fedora28+llvm deploy: - provider: releases - skip_cleanup: true - api_key: - secure: ji6LXOmD5V2N+ELHZr4oJsmxPhedk+8W6jfCqQdEbewQ42N+fKOq3lgqJni7ZdfpZaulB9OHPTApv3bwOjXjtN9rfBGmq//U9CwvzHmUeomdQv6WQOVevaWSXl3DNL9fk3yKynyFrsv4pvr45L8GIjaHLggKcYhNFPJ2rrnJlDoFT9MqQNpmP7Bg/LnwVQiv+ZDPkLlMWQzrXzLamdQILARPQka+kCdXl/sHH6OKvLgRvu9yvyXYSSfbyAHP+THISS5gDciizSBeWGlU75kgj/N+mkV+8NvtTTfEIgG8y49WJz6aBooTmRzk/jZW1dKMbDR6c5bpTmRvMZSzeSBuAR6WLhr6HevgCPi/1fX1y3pkVSrgBUF5KcxPgWCZp0I05QjaJOdvQDl1hH4TlVwpT18lM2+cWrui9fS7spnk/AuNKX882C5QWWRy28lIPasCVnwfeKX8a9KAwY9OqVOenoLC1yx7NJOGfH1bjuSYYxyR4XgLiGTHKALAuknCyD9QL0o378IwqxHMcsN0Gsd+GndMu0/b8GvSqfzDpV1XknqabQFwkZLs+Yydw0snfBUzXw9TfOk78IiPYEgXAxsQKBAkK7qvO36HIxLlSQXglXU1D4IDtQYDUel6vKll4pgu0WMxStQCbj51yDVJKvRhzwiBNC6Pwgzt2JTrpwM/T/U= - file: "ghdl-*.tgz" - file_glob: true - on: - repo: ghdl/ghdl - all_branches: true - tags: true + - &deploy-docker + provider: releases + skip_cleanup: true + api_key: + secure: ji6LXOmD5V2N+ELHZr4oJsmxPhedk+8W6jfCqQdEbewQ42N+fKOq3lgqJni7ZdfpZaulB9OHPTApv3bwOjXjtN9rfBGmq//U9CwvzHmUeomdQv6WQOVevaWSXl3DNL9fk3yKynyFrsv4pvr45L8GIjaHLggKcYhNFPJ2rrnJlDoFT9MqQNpmP7Bg/LnwVQiv+ZDPkLlMWQzrXzLamdQILARPQka+kCdXl/sHH6OKvLgRvu9yvyXYSSfbyAHP+THISS5gDciizSBeWGlU75kgj/N+mkV+8NvtTTfEIgG8y49WJz6aBooTmRzk/jZW1dKMbDR6c5bpTmRvMZSzeSBuAR6WLhr6HevgCPi/1fX1y3pkVSrgBUF5KcxPgWCZp0I05QjaJOdvQDl1hH4TlVwpT18lM2+cWrui9fS7spnk/AuNKX882C5QWWRy28lIPasCVnwfeKX8a9KAwY9OqVOenoLC1yx7NJOGfH1bjuSYYxyR4XgLiGTHKALAuknCyD9QL0o378IwqxHMcsN0Gsd+GndMu0/b8GvSqfzDpV1XknqabQFwkZLs+Yydw0snfBUzXw9TfOk78IiPYEgXAxsQKBAkK7qvO36HIxLlSQXglXU1D4IDtQYDUel6vKll4pgu0WMxStQCbj51yDVJKvRhzwiBNC6Pwgzt2JTrpwM/T/U= + file: "ghdl-*.tgz" + file_glob: true + on: + repo: ghdl/ghdl + all_branches: true + tags: true jobs: include: @@ -57,3 +58,8 @@ jobs: env: IMAGE=macosx+mcode # - <<: *osx # osx_image: xcode8.3 + - env: IMAGE="" + script: ./dist/travis/man.sh + deploy: + - <<: *deploy-docker + file: "doc/_build/man/ghdl.1" diff --git a/dist/travis/man.sh b/dist/travis/man.sh new file mode 100755 index 000000000..ab00cb4c9 --- /dev/null +++ b/dist/travis/man.sh @@ -0,0 +1,13 @@ +#! /bin/bash + +rm -rf doc/_build/man/* + +set -e + +docker run --rm -it \ + -v /$(pwd):/src \ + -w //src/doc \ + btdi/sphinx:py2-featured \ + sh -c "sphinx-build -T -b man . ./_build/man" + +nroff -man doc/_build/man/ghdl.1 diff --git a/dist/travis/travis-ci.sh b/dist/travis/travis-ci.sh index 628acceaf..0dda09931 100755 --- a/dist/travis/travis-ci.sh +++ b/dist/travis/travis-ci.sh @@ -29,6 +29,7 @@ scriptdir=$(dirname $0) . "$scriptdir/../ansi_color.sh" #disable_color + # Display env (to debug) echo -en "travis_fold:start:travis_env\r" @@ -47,7 +48,6 @@ echo "travis_fold:start:fetch" # The command 'git describe' (used for version) needs the history. Get it. # But the following command fails if the repository is complete. git fetch --unshallow || true - echo "travis_fold:end:fetch" |