Package list debian-goodies / 8e6d68d
Simplify debian/manpages by using wildcards Axel Beckert 4 years ago
2 changed file(s) with 3 addition(s) and 13 deletion(s). Raw diff Collapse all Expand all
66 + Fix error message upon non-existing package.
77 + Fix wrong error "no package" if package already had been
88 downloaded. (Closes: #847732)
9 * Simplify debian/manpages by using wildcards.
910
1011 -- Axel Beckert <abe@debian.org> Thu, 08 Sep 2016 09:20:01 +0200
1112
0 check-enhancements.1
1 checkrestart.1
2 debget.1
3 debman.1
4 debmany/man/debmany.1
5 debmany/man/debmany.de.1
6 dglob.1
7 dgrep.1
8 dhomepage.1
9 dpigs.1
10 popbugs.1
11 which-pkg-broke.1
12 which-pkg-broke-build.1
0 debmany/man/*.1
1 *.1