1 files changed, 6 insertions, 0 deletions

diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
index 53cfde9b..533318f0 100644
--- a/community/coq/PKGBUILD
+++ b/community/coq/PKGBUILD
@@ -10,3 +10,9 @@ eval "$(
       /MAKE_TARGETS/s/doc-stdlib//
     '
 )"
+eval "$(
+  declare -f package_coq-doc | \
+    sed '
+      /make/d
+    '
+)"