path: root/debian/gnuradio-doc.install

usr/share/doc/gnuradio*/README* /usr/share/doc/gnuradio-doc
usr/share/doc/gnuradio*/html usr/share/doc/gnuradio-doc
usr/share/doc/gnuradio*/xml usr/share/doc/gnuradio-doc