Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/coq/PKGBUILD
blob: 53cfde9b0968446cf660ca27bddc753003682fcf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
# 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//
    '
)"