On 13. 03. 19 17:20, Jerry James wrote:
I have been working on an update for coq 8.9.0 in Rawhide. A mock
build fails when building the documentation:
Latexmk: applying rule 'makeindex CoqRefMan.idx'...
------------
Running 'internal xindy -L english -C utf8 -M sphinx.xdy -o
"CoqRefMan.ind" "CoqRefMan.idx"'
------------
Latexmk: calling xindy( -L english -C utf8 -M sphinx.xdy -o
"CoqRefMan.ind" "CoqRefMan.idx" )
Can't exec "xindy": No such file or directory at (eval 12) line 14.
The dependency on xindy comes from Sphinx. Take a look at
%{python3_sitelib}/sphinx/texinputs/latexmkrc_t, which is used to
create the latexmkrc for coq that refers to xindy.
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
--
Miro Hrončok
--
Phone: +420777974800
IRC: mhroncok
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
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/devel@xxxxxxxxxxxxxxxxxxxxxxx
