b10e57099d
- Validate all internal references - Validate parse errors - Validate external links Signed-off-by: Michal Čihař <michal@cihar.com>
31 lines
613 B
Bash
Executable File
31 lines
613 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
travis_retry() {
|
|
local result=0
|
|
local count=1
|
|
while [ $count -le 3 ]; do
|
|
[ $result -ne 0 ] && {
|
|
echo -e "\n${ANSI_RED}The command \"$@\" failed. Retrying, $count of 3.${ANSI_RESET}\n" >&2
|
|
}
|
|
"$@"
|
|
result=$?
|
|
[ $result -eq 0 ] && break
|
|
count=$(($count + 1))
|
|
sleep 1
|
|
done
|
|
|
|
[ $count -gt 3 ] && {
|
|
echo -e "\n${ANSI_RED}The command \"$@\" failed 3 times.${ANSI_RESET}\n" >&2
|
|
}
|
|
|
|
return $result
|
|
}
|
|
|
|
# Build documentation with warnings treated as errors
|
|
make -C doc html SPHINXOPTS='-n -W -a'
|
|
|
|
# Check external links
|
|
travis_retry make -C doc linkcheck
|
