p7zip/repos/extra-x86_64/do-not-gzip-man-pages.patch

   1 diff -upr p7zip-17.04.orig/install.sh p7zip-17.04/install.sh
   2 --- p7zip-17.04.orig/install.sh 2021-04-04 06:11:06.000000000 +0300
   3 +++ p7zip-17.04/install.sh      2021-09-08 06:08:22.977304060 +0300
   4 @@ -159,10 +159,6 @@ else
   5     chmod 644 "${DEST_DIR}${DEST_MAN}/man1/7zr.1"
   6  fi
   7
   8 -gzip "${DEST_DIR}${DEST_MAN}/man1/7z.1"
   9 -gzip "${DEST_DIR}${DEST_MAN}/man1/7za.1"
  10 -gzip "${DEST_DIR}${DEST_MAN}/man1/7zr.1"
  11 -
  12  if [ -f README ]
  13  then
  14    echo "- installing ${DEST_DIR}${DEST_SHARE_DOC}/README"