Quicken and simplify the portaudio build. + Documentation

doc/Build.txt

@@ -45,17 +45,10 @@ portaudio
 Go to `tools/` and run:
 
 -------------------------
-./portaudio.sh
+./portaudio.sh --prefix=/usr
 su -c "cd portaudio && make install"
-cd bindings/cpp
-./configure --prefix=/usr
-make clean
-make
-sudo make install
 -------------------------
 
-The `make clean` is required. We might investigate (or could you ?)
-the reason for that sometime.
 
 
 the daemon
@@ -91,6 +84,6 @@ sudo make install
 -------------------------
 
 You'll find `gnome-autogen.sh` in some `gnome-common`-like package of
-your distribution. You can also replace it by a call to: `autoreconf
---install`.
+your distribution. You can also replace it by a call to:
+`autoreconf --install`.
 

tools/portaudio.sh

@@ -2,7 +2,7 @@
 PORTAUDIO_SOURCE=http://portaudio.com/archives/pa_snapshot_v19.tar.gz
 PORTAUDIO_FILE=$(basename $PORTAUDIO_SOURCE)
 PORTAUDIO_DIR=portaudio
-PORTAUDIO_CONFIGURE_ARG=
+PORTAUDIO_CONFIGURE_ARG=$@
 
 if [ ! -f $PORTAUDIO_FILE ]; then
  wget $PORTAUDIO_SOURCE