# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1635918125 -3600
# Node ID 2d76a344c29e3cf9bbfa68cd2449c2250a2c0350
# Parent  eadb39b4fc904b217345eb60b2ffbb45ec1fd336
python/python: fix build and manual pages

diff -r eadb39b4fc90 -r 2d76a344c29e python/python/python.sh
--- a/python/python/python.sh	Wed Nov 03 06:41:42 2021 +0100
+++ b/python/python/python.sh	Wed Nov 03 06:42:05 2021 +0100
@@ -53,15 +53,14 @@
 		--build=$CBUILD \
 		--host=$CHOST \
 		--target=$CTARGET \
-		--prefix=/ \
+		--prefix=/. \
 		--enable-shared \
-		--enable-optimizations \
 		--with-system-expat \
 		--with-system-ffi \
 		--without-ensurepip \
 		$with_ipv6
 	make
-	make install DESTDIR=$DESTDIR
+	make DESTDIR=$DESTDIR install maninstall
 	ln -sf python3.10 $DESTDIR/bin/python
 	sed -i -e "s|prefix=/|prefix=|" $DESTDIR/lib/pkgconfig/*.pc