Add Raspberry Pi configuration information courtesy of Mike Stephens

doc/web/src/site/apt/developing.apt

@@ -96,6 +96,30 @@ to the correct place.
 by runnning the command: <<<gsportx -audio 1>>>.  It sounds horrible, but sounds do
 come out.
 
+* Raspberry Pi
+
+ The following packages need to be installed:
+
+  * xfonts-base
+
+  * libX11-dev
+
+  * libext-dev
+
+  []
+
+ Add a line with the value <<<snd-pcm-oss>>> to the <<</etc/modules>>> file and reboot to enable sound.
+
+ Use the <<<vars_pi>>> file for compilation:
+
+-------------
+cd into the src/ directory
+rm vars; ln -s vars_pi vars
+make
+---------
+
+ The resulting executable is called <<<gsportx>>>.
+
 * Solaris SPARC
 
  Use the <<<vars_solaris>>> file:

src/vars_pi

@@ -0,0 +1,18 @@
+
+TARGET = gsportx
+OBJECTS = $(OBJECTS1) xdriver.o
+CC = g++
+CCOPTS = -O2 -Wall -fomit-frame-pointer -march=armv6
+OPTS = -DGSPORT_LITTLE_ENDIAN 
+SUFFIX =
+NAME = gsportx
+LDFLAGS =
+LDOPTS =
+LD = $(CC)
+EXTRA_LIBS = -lXext
+EXTRA_SPECIALS =
+
+AS = cc
+PERL = perl
+
+XOPTS = -I/usr/X11R6/include