Merged r9881:9917 from jcorgan/deb-wip into trunk. Updates Debian/Ubuntu packaging...
[debian/gnuradio] / debian / gnuradio-doc.install
1 usr/share/doc/gnuradio*/README* /usr/share/doc/gnuradio-doc
2 usr/share/doc/gnuradio*/html usr/share/doc/gnuradio-doc
3 usr/share/doc/gnuradio*/xml usr/share/doc/gnuradio-doc