Il giorno gio 22 set 2022 alle ore 22:36 Roberto A. Foglietta < roberto.foglietta@gmail.com> ha scritto: > > Hi all, > > bugfix: isar-exclude-docs delete man folders but some packages expect that folders. > solution: adopts the same approach used for the doc folder. > > https://github.com/robang74/isar/commit/c656e6df63aa76701e34d7ee3f99c81e96312b9d bugfix: isar-exclude-docs delete man folders but some packages expect that folders, p2 Instead of using "-type f", it is better to use "! -type d" in order to remove also the links find /usr/share/man/ ! -type d -exec rm -rf {} \; https://github.com/robang74/isar/commit/7af338b06c142eb7a60a881aaf5a9870e375c1c2 Bests, R-