2018-06-30 10:01:22 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
cd "$(dirname ${BASH_SOURCE[0]})"
|
2019-12-20 18:44:35 +01:00
|
|
|
|
|
|
|
# Copy in files that would otherwise need to download.
|
2020-04-02 15:48:09 +02:00
|
|
|
ln -f ci/*.* skyfield/documentation
|
2019-07-21 13:59:58 +02:00
|
|
|
|
|
|
|
function cleanup {
|
|
|
|
cd skyfield/documentation
|
2020-04-02 15:48:09 +02:00
|
|
|
rm -f $(cd ../../ci; ls *.*)
|
2019-07-21 13:59:58 +02:00
|
|
|
}
|
|
|
|
trap cleanup EXIT
|
|
|
|
|
2018-06-30 10:01:22 +02:00
|
|
|
make -C skyfield/documentation doctest
|