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