On Saturday, April 29, 2017 at 8:34:50 AM UTC-7, John H Palmieri wrote:
>
>
>
> On Saturday, April 29, 2017 at 8:33:20 AM UTC-7, John H Palmieri wrote:
>>
>> 'iftex' is required directly because of line 311 in
>> src/doc/common/conf.py:
>>
>> \usepackage{iftex}
>>
>> This was added in https://trac.sagemath.org/ticket/22252, to compensate
>> for the fact that Sphinx no longer included it by default. The 'iftex'
>> package is part of TeXLive; I don't know about other TeX distributions.
>>
>
> By "Sphinx no longer included it" I really mean "Sphinx no longer added
> \usepackage{iftex} by default". Sphinx never included the actual package.
>
By "Sphinx never included the actual package" I really mean "Sphinx
actually included the actual package for a few releases".
John
>
> John
>
>
>
>>
>> John
>>
>>
>> On Saturday, April 29, 2017 at 3:52:49 AM UTC-7, Volker Braun wrote:
>>>
>>> I don't have iftex.sty installed (Fedora 25), so its not required
>>> directly. Your tex installation might (erroneously) have it as a transitive
>>> dependency, though. I'd try with a clean build first. Otherwise install the
>>> iftex package:
>>>
>>>
>>> $ tlmgr search --file iftex.sty
>>> iftex:
>>> texmf-dist/tex/generic/iftex/iftex.sty
>>>
>>>
>>>
>>>
>>> On Saturday, April 29, 2017 at 11:30:36 AM UTC+2, Daniel Krenn wrote:
>>>>
>>>> On 2017-04-29 11:27, Daniel Krenn wrote:
>>>> > Building the pdf version of the documentation e.g. for
>>>> > reference/asymptotic fails in the current beta (8.0.beta4). It also
>>>> > fails in 8.0.beta2, but works in 7.6.
>>>> >
>>>> > What can cause this?
>>>>
>>>> FYI, from the log:
>>>>
>>>> ! LaTeX Error: File `iftex.sty' not found.
>>>>
>>>>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
