Bug#940479: pocketsphinx: please add a -doc package

[Samuel Thibault]

Hello,

Gianfranco Costamagna, le lun. 16 sept. 2019 11:47:07 +0200, a ecrit:
> It would be nice to have a split doc package, like Ubuntu does, to have a less heavy package.

Thinking about this, can't we just move the doc to libpocketsphinx-dev?
(since the doc is about the library, not the programs)

I understand that it'll be appreciated to have a pocketsphinx package
that is reduced as much as possible, but I don't think it's such a
concern for libpocketsphinx-dev? I'm just meaning to save developers
from installing yet another package only to get the documentation, when
it's just 8MiB away.

Samuel