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

[mkoeppe]

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

[mkoeppe]

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

[mkoeppe]

Branch: u/mkoeppe/src_doc_bootstrap__generate_src_doc_en_reference_repl_options_rst

[mkoeppe]

Commit: 885092e

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

New commits:

885092e

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

[jhpalmieri]

comment:5

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

[jhpalmieri]

Reviewer: John Palmieri

[mkoeppe]

comment:7

Thanks!

[vbraun]

Changed branch from u/mkoeppe/src_doc_bootstrap__generate_src_doc_en_reference_repl_options_rst to 885092e

[mkoeppe]

Changed commit from 885092e to none

[mkoeppe]

comment:9

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