#!/bin/bash
set -exuo pipefail

# There is no Doxygen configuration in this repository (doc/doxygen only
# holds the GNUnet/Taler tag files), so the documentation job builds the
# two things that are actually generated here: the Texinfo manual, via
# '--enable-only-doc' (which skips compiling any C), and the Sphinx
# handbook under doc/sphinx.

./bootstrap
./configure --enable-only-doc

make

pushd ./doc/sphinx/

make html

popd
