diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-01-03 20:54:43 +0000 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-03 21:54:43 +0100 |
commit | 9b1191a6c717ae033a6bb8558e444ac1083d8100 (patch) | |
tree | 59731b3fef0fcb7964773051f77e674835bc8262 /.travis.yml | |
parent | df5e32320e8284763705f0046b91d09caf1164fd (diff) | |
download | ghdl-9b1191a6c717ae033a6bb8558e444ac1083d8100.tar.gz ghdl-9b1191a6c717ae033a6bb8558e444ac1083d8100.tar.bz2 ghdl-9b1191a6c717ae033a6bb8558e444ac1083d8100.zip |
Homogenise NEWS.md, conf.py cleanup (#1065)
* homogenise NEWS.md
* travis: rename anchor
* doc: conf.py cleanup
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 3ee6efd21..a6c3bf3fb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,7 +20,7 @@ env: - TASK=fedora30+llvm deploy: - - &deploy-docker + - &dep provider: releases skip_cleanup: true api_key: @@ -51,5 +51,5 @@ jobs: - env: TASK="man" script: ./dist/man.sh deploy: - - <<: *deploy-docker + - <<: *dep file: "doc/_build/man/ghdl.1" |