From d52299ccdd0b2a1a00522222f684fc56fe38d10b Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Sat, 7 Jan 2023 12:11:24 +0100
Subject: community/coq: fixed package of non-existing docs

---
 community/coq/PKGBUILD | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'community/coq')

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
+    '
+)"
-- 
cgit v1.2.3-70-g09d2