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.
As I understand it from looking through bugzilla, the texlive-xindy
package was dropped because it frequently failed to build.
So what is the right thing to do here? Try to debug the xindy
problems so the texlive-xindy package can be resurrected? Disable
xindy support in python-sphinx (if possible)?
--
Jerry James
http://www.jamezone.org/
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org
