From 612801e95545c5f958bd191badcee1455c72fb75 Mon Sep 17 00:00:00 2001
From: Guillaume Chazarain <guichaz@gmail.com>
Date: Mon, 11 Jul 2011 22:36:46 +0200
Subject: [PATCH] Ubuntu's RPM install does not compress man pages, so make the
 fix more generic

---
 .install-rpm.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.install-rpm.sh b/.install-rpm.sh
index 7583369..655d525 100755
--- a/.install-rpm.sh
+++ b/.install-rpm.sh
@@ -3,5 +3,7 @@
 # http://bugs.python.org/issue644744
 
 python setup.py install -O1 --root=$RPM_BUILD_ROOT --record=INSTALLED_FILES
+
 # 'brp-compress' gzips the man pages without distutils knowing... fix this
-sed -i -e 's@man/man\([[:digit:]]\)/\(.\+\.[[:digit:]]\)$@man/man\1/\2.gz@g' INSTALLED_FILES
+NEW_BASENAME="$(basename "$(find "$RPM_BUILD_ROOT" -type f -name "polysh.1*")")"
+set "s/polysh.1/$NEW_BASENAME/g" -i INSTALLED_FILES
-- 
2.11.4.GIT