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, 19 insertions, 0 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 new file mode 100644 index 000000000000..09a569c23498 --- /dev/null +++ b/app-i18n/man-pages-de/files/man-pages-de-1.3-bzip2.patch @@ -0,0 +1,19 @@ +--- 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 |