stop installing duplicate docs; tweak installed files; Add info manual to doc-base
[gnulib.git] / debian / gnulib.doc-base
1 Document: gnulib-manual
2 Title: GNULib Manual
3 Section: Programming/C
4
5 Format: HTML
6 Index: /usr/share/doc/gnulib/gnulib.html
7 Files: /usr/share/doc/gnulib/gnulib.html
8
9 Format: Info
10 Index: /usr/share/info/gnulib.info
11 Files: /usr/share/info/gnulib.info