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:

Status badges

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 git

  • Commit set to 9cc2282312bdc28ef3ca51b11bb6330a2e26aa8c

Branch pushed to git repo; I updated commit sha1. New commits:

[changeset:9cc2282]sage-bin: sage executable, fix docbuild call

comment:2 Changed 8 years ago by felixs

  • Status changed from new to needs_review

comment:3 Changed 8 years ago by jdemeyer

  • Status changed from needs_review to needs_work

Needs to be rebased.

comment:4 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:5 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:6 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:7 Changed 5 years ago by chapoton

  • Cc jdemeyer fbissey added
  • Milestone changed from sage-6.4 to sage-duplicate/invalid/wontfix
  • Status changed from needs_work to needs_review

done, see #20030, #20321

comment:8 Changed 5 years ago by jdemeyer

  • Reviewers set to Jeroen Demeyer
  • Status changed from needs_review to positive_review

comment:9 Changed 5 years ago by vbraun

  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.