#!/bin/bash

set -e
set -x

make test-doc

#!/bin/bash

set -e
set -x
if [[ "$SDIST" != "true" ]]; then
    pushd .
    cd doc
    make doctest
    popd
fi

Switch to doc for doctest
Switch to doc for doctest

