Bug#926134: antlr4: Please package Python 3 runtime

[Benjamin Barenblat]

On Sunday, March 31, 2019, at  3:52 PM EDT, Benjamin Barenblat wrote:
> Coq now needs the ANTLR 4 runtime for Python 3 to generate its HTML
> documentation.

Er, correction: Some HTML documentation can be built without the
runtime. However, you need the runtime to build the reference manual,
and that actually holds true whether you’re building PDF or HTML.