Dockerfiles: removing useless labels. Docs: now generating with Docker. Travis: publishing done with make

This commit is contained in:
Julien Neuhart
2018-12-14 09:13:04 +01:00
parent 4c1699df6c
commit a15cf33691
8 changed files with 312 additions and 215 deletions

View File

@@ -22,4 +22,4 @@ jobs:
script: make tests
- stage: publish
if: tag IS present
script: ./scripts/publish.sh $TRAVIS_TAG $DOCKER_USER $DOCKER_PASS
script: make publish VERSION=$TRAVIS_TAG DOCKER_USER=$DOCKER_USER DOCKER_PASSWORD=$DOCKER_PASS