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

Question

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

Closed this issue 5 years ago · 11 comments

mkoeppe commented 5 years ago

... 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.

CC: @jhpalmieri @kiwifb @orlitzky

Component: documentation

Author: Matthias Koeppe

Branch: 885092e

Reviewer: John Palmieri

Issue created by migration from https://trac.sagemath.org/ticket/29884

Answer 1 · 2020-06-17T18:43:31.000Z

Description changed:

--- 
+++ 
@@ -1,2 +1,4 @@
 ... 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.
+

Answer 2 · 2020-06-17T18:53:50.000Z

Branch: u/mkoeppe/src_doc_bootstrap__generate_src_doc_en_reference_repl_options_rst

Answer 3 · 2020-06-17T18:54:15.000Z

Commit: 885092e

Answer 4 · 2020-06-17T18:54:15.000Z

Author: Matthias Koeppe

Answer 5 · 2020-06-17T18:54:15.000Z

New commits:

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

Answer 6 · 2020-06-17T20:24:48.000Z

comment:5

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

Answer 7 · 2020-06-17T20:24:57.000Z

Reviewer: John Palmieri

Answer 8 · 2020-06-17T20:53:48.000Z

comment:7

Thanks!

Answer 9 · 2020-07-02T21:29:56.000Z

Changed branch from u/mkoeppe/src_doc_bootstrap__generate_src_doc_en_reference_repl_options_rst to 885092e

Answer 10 · 2020-07-04T17:39:12.000Z

Changed commit from 885092e to none

Answer 11 · 2020-07-04T17:39:12.000Z

comment:9

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