test/ci-docs

   1 #!/bin/bash
   2
   3 set -e
   4
   5 travis_retry() {
   6   local result=0
   7   local count=1
   8   while [ $count -le 3 ]; do
   9     [ $result -ne 0 ] && {
  10       echo -e "\n${ANSI_RED}The command \"$@\" failed. Retrying, $count of 3.${ANSI_RESET}\n" >&2
  11     }
  12     "$@"
  13     result=$?
  14     [ $result -eq 0 ] && break
  15     count=$(($count + 1))
  16     sleep 1
  17   done
  18
  19   [ $count -gt 3 ] && {
  20     echo -e "\n${ANSI_RED}The command \"$@\" failed 3 times.${ANSI_RESET}\n" >&2
  21   }
  22
  23   return $result
  24 }
  25
  26 # Build documentation with warnings treated as errors
  27 make -C doc html SPHINXOPTS='-n -W -a'
  28
  29 # Check external links
  30 travis_retry make -C doc linkcheck