From fc5daf4123c60c1237fc316c5c19ea0de05ebf57 Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Mon, 12 Jul 2021 11:14:35 +0300
Subject: [PATCH] pcre: enable manual pages. See #273

---
 extra/pcre/build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra/pcre/build b/extra/pcre/build
index 1c633f65..4ee3fae2 100755
--- a/extra/pcre/build
+++ b/extra/pcre/build
@@ -7,4 +7,4 @@
 make
 make DESTDIR="$1" install
 
-rm -rf "${1:?}/usr/share"
+rm -rf "$1/usr/share/doc"