diff options
| author | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2007-09-02 21:20:24 +0000 |
|---|---|---|
| committer | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2007-09-02 21:20:24 +0000 |
| commit | 8af32097a1ebd90ca344e0e96616fd3be7a00af6 (patch) | |
| tree | c7cd1559dd2819550bd204bed99609c98e1a757e /debian/gnuradio-doc.install | |
| parent | 415910cb8d48e33edf3289e2ba7b4a7b7f352cdd (diff) | |
Merged r6224:6268 from features/deb into trunk. Implements most of a Debian package generation system. EXPERIMENTAL.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@6269 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'debian/gnuradio-doc.install')
| -rw-r--r-- | debian/gnuradio-doc.install | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/gnuradio-doc.install b/debian/gnuradio-doc.install new file mode 100644 index 0000000000..08f1e5de50 --- /dev/null +++ b/debian/gnuradio-doc.install @@ -0,0 +1,2 @@ +usr/share/doc/gnuradio*/html usr/share/doc/gnuradio-doc +usr/share/doc/gnuradio*/README /usr/share/doc/gnuradio-doc |