docbase: fix info filename; don't remove doc/updated-stamp
[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.gz
11 Files: /usr/share/info/gnulib.info.gz