On Sun, Jun 11, 2017 at 03:43:45PM -0400, Jeremy Bicha wrote: > On Sun, Jun 11, 2017 at 3:30 PM, Adam Borowski <kilob...@angband.pl> wrote: > > No, when taken alone, -dev packages Recommending -doc is just right. > > https://anonscm.debian.org/cgit/dbnpolicy/policy.git/commit/?id=dc3b001
This change talks about only "extra" documentation that's redundant with what's already shipped in -dev -- ie, cases where you have man pages and plain text in -dev then HTML and PDF in -doc. The case of _primary_ documentation being in -doc is still supposed to be Recommends, which I agree with (save for the transitional dependency issue). Meow! -- ⢀⣴⠾⠻⢶⣦⠀ A tit a day keeps the vet away. ⣾⠁⢰⠒⠀⣿⡁ ⢿⡄⠘⠷⠚⠋⠀ (Rejoice as my small-animal-murder-machine got unbroken after ⠈⠳⣄⠀⠀⠀⠀ nearly two years of no catch!)
