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
'
)"
|