community -> extra

1 files changed, 0 insertions, 18 deletions

diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
deleted file mode 100644
index 533318f0..00000000
--- a/community/coq/PKGBUILD
+++ /dev/null
@@ -1,18 +0,0 @@
-# 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
-    '
-)"