# disable documentation building with python-sphinx
makedepends=(${makedepends[@]/python-sphinxcontrib-bibtex})
makedepends=(${makedepends[@]/python-sphinx_rtd_theme})
makedepends=(${makedepends[@]/python-sphinx})
eval "$(
  declare -f build | \
    sed '
      s/-with-doc yes//
      /MAKE_TARGETS/s/refman-html//
      /MAKE_TARGETS/s/doc-stdlib//
    '
)"
eval "$(
  declare -f package_coq-doc | \
    sed '
      /make/d
    '
)"