Re: [PATCH v2] travis-ci: build documentation
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Apr 29, 2016, 14:40 UTC
- Message-ID
- <vpqd1p8xyut.fsf@anie.imag.fr>
- In-Reply-To
- <1461922534-49293-1-git-send-email-larsxschneider@gmail.com>
larsxschneider@gmail.com writes:
> + before_install: > + before_script: make doc > + script: ci/test-documentation.sh
If you are to re-roll, I think before_script and script should be merged, i.e. just write
script: ci/test-documentation.sh
and have ci/test-documentation.sh be:
#!/bin/sh
set -e
make doc test -s Documentation/git.html test -s Documentation/git.xml test -s Documentation/git.1
In the perspective of using another CI tool, everything within ci/ is potentially shared between systems so I'd tend to minimize the content of .travis.yml in favor of ci/*
-- Matthieu Moy http://www-verimag.imag.fr/~moy/