X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=debian%2Fgnuradio-doc.install;h=f7d331cb78b1d5e84df7b058dff8ebf7a7582a47;hb=refs%2Fheads%2Fmaster;hp=32d9c699af85e5e0760e3c5fa5c67952a2a7f58f;hpb=51a76e998bffe391683f0abc9d411c589b386d18;p=debian%2Fgnuradio diff --git a/debian/gnuradio-doc.install b/debian/gnuradio-doc.install index 32d9c699..f7d331cb 100644 --- a/debian/gnuradio-doc.install +++ b/debian/gnuradio-doc.install @@ -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