Fixes ticket #12. Merged r3170:HEAD from
[debian/gnuradio] / INSTALL
2006-08-03 jcorganHouston, we have a trunk.