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
