[generic-python] handle man files
Signed-off-by: Gwenhael Le Moine <gwenhael.le.moine@gmail.com>
This commit is contained in:
parent
eab7516adf
commit
e5d58c1883
1 changed files with 5 additions and 0 deletions
|
@ -25,6 +25,11 @@ EXTRA=""
|
|||
[ "x$VERSION" == "xpip" ] || EXTRA="==$VERSION"
|
||||
pip install --ignore-installed --root $PKG --no-deps $PRGNAM$EXTRA
|
||||
|
||||
if [ -d $PKG/usr/share/man ]; then
|
||||
mv $PKG/usr/share/man $PKG/usr/
|
||||
find $PKG/usr/man -type f -not -name \*.gz -exec gzip -9 {} \;
|
||||
fi
|
||||
|
||||
METADATA_FILE=$(find $PKG -name METADATA)
|
||||
|
||||
[ ! -e $METADATA_FILE ] && exit 1
|
||||
|
|
Loading…
Reference in a new issue