Add BuildDepends: python-pygments for make docs
Do make docs in the Debian flavoured packages too.