diff options
author | merakor <cem@ckyln.com> | 2020-12-24 23:43:10 +0000 |
---|---|---|
committer | merakor <cem@ckyln.com> | 2020-12-24 23:43:10 +0000 |
commit | 08c4e02f8f7f99622436f92786b5e70600383b96 (patch) | |
tree | f71c008635ed4d2da0c6fe8c693753844564efed | |
parent | 84ef7218e051a9257c357aeace04d349eb7c5b3f (diff) | |
download | cpt-08c4e02f8f7f99622436f92786b5e70600383b96.tar.gz |
cpt: do not track info directory pages
FossilOrigin-Name: 63e4717d7cc2790f055d562b165fb7ada2a6a34760078c2d178027fae28034b2
-rw-r--r-- | src/cpt-lib.in | 5 |
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 {} + |