From: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Date: Fri, 29 Apr 2016 14:40:10 GMT
Subject: Re: [PATCH v2] travis-ci: build documentation
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/