From 657440c1aa8966a031910e9e386ebdef8067f78a Mon Sep 17 00:00:00 2001 From: gabriel pettier Date: Thu, 25 Dec 2014 19:13:04 +0100 Subject: [PATCH] add python-dev to rpi build instructions, fixes #2740 --- doc/sources/installation/installation-rpi.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/sources/installation/installation-rpi.rst b/doc/sources/installation/installation-rpi.rst index c5fefed28..a7903a642 100644 --- a/doc/sources/installation/installation-rpi.rst +++ b/doc/sources/installation/installation-rpi.rst @@ -20,7 +20,8 @@ Manual installation sudo apt-get update sudo apt-get install pkg-config libgl1-mesa-dev libgles2-mesa-dev \ python-pygame python-setuptools libgstreamer1.0-dev git-core \ - gstreamer1.0-plugins-{bad,base,good,ugly} gstreamer1.0-{omx,alsa} + gstreamer1.0-plugins-{bad,base,good,ugly} \ + gstreamer1.0-{omx,alsa} python-dev #. Install pip from source::