Index: manpages-de-1.7/po/generate-manpage.sh =================================================================== --- manpages-de-1.7/po/generate-manpage.sh +++ manpages-de-1.7/po/generate-manpage.sh 2014-08-25 00:57:50.579712476 +0200 @@ -38,6 +38,16 @@ original="$uncompressed_manpage" fi fi +# Try a xz'ed version +if [ ! -f "$original" ]; then + original=/usr/share/man/man$section/$manpage.xz + if [ -f "$original" ]; then + # The manpage exists, but needs to be decompressed + uncompressed_manpage=`mktemp` + xz -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