>
>
> --
> sage -t --long src/sage/databases/oeis.py # 6 doctests failed
> sage -t --long src/sage/symbolic/integration/external.py # 1 doctest
> failed
> sage -t --long src/sage/misc/package.py # 2 doctests failed
> sage -t
Running tests with several optional and external packages, I get:
Using
have you tried updating your gurobi license, or removing it from your sage
install ?
> Le 6 mai 2019 à 09:44, Sébastien Labbé a écrit :
>
> On Ubuntu 16.04, upgrading to most recent sage develop as usual, I can't get
> the documentation to build. I can reproduce the issue after make
On Ubuntu 16.04, upgrading to most recent sage develop as usual, I can't
get the documentation to build. I can reproduce the issue after make
doc-clean. It stops at
...
[dochtml] installing. Log file: logs/dochtml.log
[dochtml] error installing, exit status 1. Log file: logs/dochtml.log
