projects
/
gnulib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git]
/
debian
/
gnulib.doc-base
diff --git
a/debian/gnulib.doc-base
b/debian/gnulib.doc-base
index
92dcf3d
..
6ab10ac
100644
(file)
--- a/
debian/gnulib.doc-base
+++ b/
debian/gnulib.doc-base
@@
-7,5
+7,5
@@
Index: /usr/share/doc/gnulib/gnulib.html
Files: /usr/share/doc/gnulib/gnulib.html
Format: Info
-Index: /usr/share/info/gnulib.info
-Files: /usr/share/info/gnulib.info
+Index: /usr/share/info/gnulib.info
.gz
+Files: /usr/share/info/gnulib.info
.gz