On Fri, Jun 19, 2015 at 10:53:18PM +0200, Helmut Grohne wrote: > Package: dose-extra > Version: 3.3-3 > Severity: minor > File: /usr/share/man/man1/dose-deb-coinstall.1.gz > > Hi Johannes, > > You asked me to file this bug report. The manual page for > dose-deb-coinstall talks about a tool dose-debcoinstall. This is > inconsistent with how the tool is actually named. > > I hope this is worth fixing
It is! Will be fixed in the next release. Thanks -Ralf. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
