diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-10-30 07:33:28 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-10-30 09:32:53 +0100 |
commit | 4bd134708c391c8745faeb6817e1b60275b5adda (patch) | |
tree | d4fa9f222f3bfa9833aa4152748277d99757f30c /app-i18n/man-pages-de/files/man-pages-de-1.3-bzip2.patch | |
parent | kde-plasma/xembed-sni-proxy: Tarball respun (diff) | |
download | gentoo-4bd134708c391c8745faeb6817e1b60275b5adda.tar.gz gentoo-4bd134708c391c8745faeb6817e1b60275b5adda.tar.bz2 gentoo-4bd134708c391c8745faeb6817e1b60275b5adda.zip |
app-i18n/man-pages-de: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'app-i18n/man-pages-de/files/man-pages-de-1.3-bzip2.patch')
-rw-r--r-- | app-i18n/man-pages-de/files/man-pages-de-1.3-bzip2.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/app-i18n/man-pages-de/files/man-pages-de-1.3-bzip2.patch b/app-i18n/man-pages-de/files/man-pages-de-1.3-bzip2.patch deleted file mode 100644 index 09a569c23498..000000000000 --- a/app-i18n/man-pages-de/files/man-pages-de-1.3-bzip2.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- a/po/generate-manpage.sh -+++ b/po/generate-manpage.sh -@@ -38,6 +38,16 @@ - original="$uncompressed_manpage" - fi - fi -+# Try a bzip'ed version -+if [ ! -f "$original" ]; then -+ original=/usr/share/man/man$section/$manpage.bz2 -+ if [ -f "$original" ]; then -+ # The manpage exists, but needs to be decompressed -+ uncompressed_manpage=`mktemp` -+ bzip2 -d -c "$original" > "$uncompressed_manpage" -+ original="$uncompressed_manpage" -+ fi -+fi - # Cannot generate manpage if the original could not be found - if [ ! -f "$original" ]; then - echo "The original manpage for $manpage could not be found." >&2 |