summaryrefslogtreecommitdiff
path: root/manualPorts/guile/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-10-03 11:29:50 +0200
committerErich Eckner <git@eckner.net>2022-10-03 11:29:50 +0200
commit532e298a9fcfb5df7ed6b3cbcfdc0339c1226ebe (patch)
tree160f0a48e4ce1cd9fa1d1d963b8a2976697ddb6d /manualPorts/guile/Pkgfile
parent83ad8989eba8b6a4d08e52f8e996fc7fde6e7948 (diff)
downloadcrux-ports-532e298a9fcfb5df7ed6b3cbcfdc0339c1226ebe.tar.xz
guile: clean up Pkgfile
Diffstat (limited to 'manualPorts/guile/Pkgfile')
-rw-r--r--manualPorts/guile/Pkgfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/manualPorts/guile/Pkgfile b/manualPorts/guile/Pkgfile
index 420f337..7133308 100644
--- a/manualPorts/guile/Pkgfile
+++ b/manualPorts/guile/Pkgfile
@@ -18,5 +18,5 @@ build() {
sed -i -e 's/-Werror//g' libtool
make
make DESTDIR=$PKG install
- rm -rf $PKG/usr/share/info $PKG/usr/share/guile/1.8/scripts/summarize-guile-TODO
+ rm -rf $PKG/usr/share/info
}