Bug#1111916: quickchick: ships files in /usr/doc

[Ivo De Decker]

package: quickchick
version: 2.1.0-1
severity: serious

Hi,

quickchick has files in /usr/doc

/usr/doc/coq-quickchick/CHANGELOG.md
/usr/doc/coq-quickchick/README.md

These should go in /usr/share/doc

This is a violation of debian policy 9.1.1

Cheers,

Ivo