From f652084f3fecbbb3d70d71a7ba19fda9a5498fe0 Mon Sep 17 00:00:00 2001
From: Niclas Hofmann <niclas@molgen.mpg.de>
Date: Wed, 21 Sep 2022 16:51:18 +0200
Subject: [PATCH] qemu: also build man pages

There are special dependencies with respect to python.

This fixes #156.
---
 qemu-7.1.0.build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/qemu-7.1.0.build.sh b/qemu-7.1.0.build.sh
index 967baaa..3c8c533 100755
--- a/qemu-7.1.0.build.sh
+++ b/qemu-7.1.0.build.sh
@@ -42,8 +42,10 @@ test -e qemu-${VERSION}.tar.xz || wget --no-verbose $URL
 test -d qemu-$VERSION          || tar -xf qemu-${VERSION}.tar.xz
 cd qemu-$VERSION
 
+. /package/pkg/python-3.10.6-0_debug/profile
 ./configure --prefix=${PREFIX} \
   $targets \
+  --enable-docs \
   --enable-system \
   --enable-jemalloc \
   --audio-drv-list=${AUDIODRIVERS} \