diff options
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 |