diff options
| author | Erich Eckner <git@eckner.net> | 2019-11-30 08:57:21 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-30 08:57:21 +0100 |
| commit | ea1cf8e97c923c5dd0d0a2247cbf118d2789af1c (patch) | |
| tree | b961bae4b8dbdeee9be6a7aac2aede276484434b | |
| parent | 4701edb2fc84b66a1fb04b02d034ad23a2ce627c (diff) | |
| download | packages-ea1cf8e97c923c5dd0d0a2247cbf118d2789af1c.tar.xz | |
core/linux: du not fail on removing (documentation) files which do not exists
| -rw-r--r-- | core/linux/PKGBUILD | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/linux/PKGBUILD b/core/linux/PKGBUILD index 8098bf53..86ee779c 100644 --- a/core/linux/PKGBUILD +++ b/core/linux/PKGBUILD @@ -26,6 +26,10 @@ eval "$( sed ' s/\bhtmldocs\b// ' + declare -f package_linux-docs | \ + sed ' + \@/Documentation/@ s/^\s*rm /\0-f / + ' fi declare -f prepare | \ sed ' |