docbase: fix info filename; don't remove doc/updated-stamp
authorIan Beckwith <ianb@erislabs.net>
Sun, 2 Mar 2014 23:25:02 +0000 (23:25 +0000)
committerIan Beckwith <ianb@erislabs.net>
Sun, 2 Mar 2014 23:25:02 +0000 (23:25 +0000)
commit95886da0b417a14882bb47bf4765f7af450d51da
tree65acbb467d5d4860d0d0b7104401c5ffcd340118
parent7422b7ede18016dea87d207cbb7535428afba3ec
docbase: fix info filename; don't remove doc/updated-stamp
debian/gnulib.doc-base
debian/rules