-
-
Notifications
You must be signed in to change notification settings - Fork 523
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Some clean up in docbuilding #19127
Comments
Branch: u/jdemeyer/ticket/19127 |
Commit: |
New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Dependencies: #19166 |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
Changed dependencies from #19166 to none |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
This comment has been minimized.
This comment has been minimized.
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
This comment has been minimized.
This comment has been minimized.
comment:24
That failure looks unrelated to the documentation, so I would be surprised if that buildbot error was due to this ticket. Which other tickets did you test? |
comment:25
Unrelated to the doctest failure: should the |
comment:26
Replying to @vbraun: Confirmed (but still surprising!) |
comment:27
The problem seems to be that doctesting the old |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:29
Oops, I was confusing this ticket with #19963. Never mind this last commit. |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits: |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:33
I will merge #19950 because these tickets conflict. |
Dependencies: #19950 |
Changed branch from u/jdemeyer/ticket/19127 to |
Changed commit from |
comment:37
Is this the reason for #20255? |
No change in functionality, just some clean up.
In particular:
src/sage_setup/docbuild
compile()
, useimport
SAGE_DOC_OUTPUT
forsrc/doc/output
(this is moved tolocal/share/doc/sage
in Build documentation in $SAGE_SHARE/doc/sage #19963)Depends on #19950
CC: @hivert @nathanncohen
Component: build
Author: Jeroen Demeyer
Branch:
0455d14
Reviewer: Marc Mezzarobba
Issue created by migration from https://trac.sagemath.org/ticket/19127
The text was updated successfully, but these errors were encountered: