Minor fix in binary packaging
[debian/gnuradio] / debian / libgruel-dev.install
2008-11-03 jcorganMerged r9881:9917 from jcorgan/deb-wip into trunk....