• Swann Perarnau's avatar
    [doc/ci] make docs a configure flags, test it · 357b98dc
    Swann Perarnau authored
    Add a configure option for building docs, and create a CI job that will
    always run to validate it. Note that make install-data doesn't need
    source builds, so the environment can be quite small.
    This patch also fixes the uncovered issues, and make doc build fail on