Merged r6224:6268 from features/deb into trunk. Implements most of a Debian package...
[debian/gnuradio] / debian / gnuradio-doc.install
1 usr/share/doc/gnuradio*/html usr/share/doc/gnuradio-doc
2 usr/share/doc/gnuradio*/README /usr/share/doc/gnuradio-doc