On Thu, Mar 14, 2019 at 4:13 AM Miro HronĨok <mhroncok(a)redhat.com> wrote:
There should be a configuration option that disbales xindly. Does
the
documentation build with it?
latex_use_xindy = False # put it in doc/conf.py or similar
I've got to figure out where to put that option. Coq has its own
documentation builder, coqdoc, so this option will have to be inserted
into it somewhere, I guess. I'll try to figure it out tomorrow.
--
Jerry James
http://www.jamezone.org/