Opened 2 years ago

Closed 2 years ago

Last modified 2 years ago

#29884 closed enhancement (fixed)

src/doc/bootstrap: Generate src/doc/en/reference/repl/options.txt

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-9.2
Component: documentation Keywords:
Cc: John Palmieri, François Bissey, Michael Orlitzky Merged in:
Authors: Matthias Koeppe Reviewers: John Palmieri
Report Upstream: N/A Work issues:
Branch: 885092e (Commits, GitHub, GitLab) Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

... from the output of sage -advanced.

This is for #29111, where much of options.rst will be replaced by an include of the new txt file.

Change History (9)

comment:1 Changed 2 years ago by Matthias Köppe

Summary: src/doc/bootstrap: Generate /src/doc/en/reference/repl/options.rstsrc/doc/bootstrap: Generate src/doc/en/reference/repl/options.rst

comment:2 Changed 2 years ago by Matthias Köppe

Description: modified (diff)
Summary: src/doc/bootstrap: Generate src/doc/en/reference/repl/options.rstsrc/doc/bootstrap: Generate src/doc/en/reference/repl/options.txt

comment:3 Changed 2 years ago by Matthias Köppe

Branch: u/mkoeppe/src_doc_bootstrap__generate_src_doc_en_reference_repl_options_rst

comment:4 Changed 2 years ago by Matthias Köppe

Authors: Matthias Koeppe
Commit: 885092e77b06b6d616297edd8ac1a37db9113cc6
Status: newneeds_review

New commits:

885092esrc/doc/bootstrap: Generate src/doc/en/reference/repl/options.txt

comment:5 Changed 2 years ago by John Palmieri

Sure, looks fine. It's incomplete without #29111, of course.

comment:6 Changed 2 years ago by John Palmieri

Reviewers: John Palmieri
Status: needs_reviewpositive_review

comment:7 Changed 2 years ago by Matthias Köppe

Thanks!

comment:8 Changed 2 years ago by Volker Braun

Branch: u/mkoeppe/src_doc_bootstrap__generate_src_doc_en_reference_repl_options_rst885092e77b06b6d616297edd8ac1a37db9113cc6
Resolution: fixed
Status: positive_reviewclosed

comment:9 Changed 2 years ago by Matthias Köppe

Commit: 885092e77b06b6d616297edd8ac1a37db9113cc6

This broke tox-docker builds unfortunately, to be fixed in #30064

Note: See TracTickets for help on using tickets.