aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormerakor <cem@ckyln.com>2020-12-24 23:43:10 +0000
committermerakor <cem@ckyln.com>2020-12-24 23:43:10 +0000
commit08c4e02f8f7f99622436f92786b5e70600383b96 (patch)
treef71c008635ed4d2da0c6fe8c693753844564efed
parent84ef7218e051a9257c357aeace04d349eb7c5b3f (diff)
downloadcpt-08c4e02f8f7f99622436f92786b5e70600383b96.tar.gz
cpt: do not track info directory pages
FossilOrigin-Name: 63e4717d7cc2790f055d562b165fb7ada2a6a34760078c2d178027fae28034b2
-rw-r--r--src/cpt-lib.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/cpt-lib.in b/src/cpt-lib.in
index 27ea686..2af31fb 100644
--- a/src/cpt-lib.in
+++ b/src/cpt-lib.in
@@ -1062,6 +1062,11 @@ pkg_build() {
diff -U 3 "$pkg_build" .build.cpt > "$pkg_build.diff" &&
rm -f "$pkg_build.diff"
+ # We don't want the package manager to track 'dir' pages of the info
+ # directory. We don't want every single package to create their own dir
+ # files either.
+ rm -f "$pkg_dir/$pkg/usr/share/info/dir"
+
# We never ever want this. Let's end the endless conflicts
# and remove it.
find "$pkg_dir/$pkg" -name charset.alias -exec rm -f {} +