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.
