OK, I downloaded Gnuradio using:
svn co http://gnuradio.org/svn/gnuradio/trunk gnuradio
and under the newly created gnuradio directory I find a debian
directory. Since I’m running a debian machine is there something I need
to do with this directory or is simply running the commands:
all that is necessary?