eliminate conflict with grc since we're renaming our binary
[debian/gnuradio] / debian / gnuradio-doc.install
index 32d9c699af85e5e0760e3c5fa5c67952a2a7f58f..f7d331cb78b1d5e84df7b058dff8ebf7a7582a47 100644 (file)
@@ -1,2 +1,3 @@
-usr/share/doc/gnuradio*/html usr/share/doc/gnuradio-doc/html
-usr/share/doc/gnuradio*/README /usr/share/doc/gnuradio-doc/README
+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