On Thu, Mar 14, 2019 at 4:13 AM Miro Hrončok <[email protected]> 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/ _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
