commit d438a54

hovercats  ·  2025-05-21 00:32:13 +0000 UTC
parent ba30edc 
gnutls: remove /usr/share/info and /usr/share/doc
2 files changed,  +5, -1
M repo/gnutls/build
M repo/gnutls/version
M repo/gnutls/build
+4, -0 
1@@ -16,3 +16,7 @@ make DESTDIR="$1" install
2 
3 # Compress manpages
4 find "$1/usr/share/man" -type f -exec gzip -n -9 {} +
5+
6+rm -rf \
7+	"$1/usr/share/info" \
8+	"$1/usr/share/doc"
M repo/gnutls/version
+1, -1 
1@@ -1 +1 @@
2-3.8.7.1 1
3+3.8.7.1 2