Opened 8 years ago
Closed 5 years ago
#15101 closed enhancement (fixed)
SAGE_DOC source location
Reported by: | felixs | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | scripts | Keywords: | |
Cc: | jdemeyer, fbissey | Merged in: | |
Authors: | Felix Salfelder | Reviewers: | Jeroen Demeyer |
Report Upstream: | N/A | Work issues: | |
Branch: | u/felixs/doc_src (Commits, GitHub, GitLab) | Commit: | 9cc2282312bdc28ef3ca51b11bb6330a2e26aa8c |
Dependencies: | Stopgaps: |
Description
The docbuilder turns documentation source into documentation. Currently, there is no notion of "installing the documentation", nor of VPATH builds. As soon as there will be, SAGE_DOC must point to the documentation, not the source code, but the source code location is still required to make some doctests pass.
I think it's best to introduce a variable SAGE_DOC_SRC
that points to the documentation source code.
Change History (9)
comment:1 Changed 8 years ago by
- Commit set to 9cc2282312bdc28ef3ca51b11bb6330a2e26aa8c
comment:2 Changed 8 years ago by
- Status changed from new to needs_review
comment:3 Changed 7 years ago by
- Status changed from needs_review to needs_work
Needs to be rebased.
comment:4 Changed 7 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:5 Changed 7 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:6 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:7 Changed 5 years ago by
- Cc jdemeyer fbissey added
- Milestone changed from sage-6.4 to sage-duplicate/invalid/wontfix
- Status changed from needs_work to needs_review
comment:8 Changed 5 years ago by
- Reviewers set to Jeroen Demeyer
- Status changed from needs_review to positive_review
comment:9 Changed 5 years ago by
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Branch pushed to git repo; I updated commit sha1. New commits: