diff options
| author | Heinrich Schuchardt | 2021-01-18 21:06:03 +0100 |
|---|---|---|
| committer | Tom Rini | 2021-01-23 09:53:46 -0500 |
| commit | 12316967ad5355798a85739a27afbdde35e3c042 (patch) | |
| tree | 24af158f569232763c4e6863b4b19c9b736550d4 /doc/develop/index.rst | |
| parent | 0157619d5c8beb9cf06b096c83330a312a9bf65d (diff) | |
doc: move README.menu to HTML documentation
Convert README.menu to reStructured text and add it to the HTML
documentation.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Diffstat (limited to 'doc/develop/index.rst')
| -rw-r--r-- | doc/develop/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/develop/index.rst b/doc/develop/index.rst index 83eb1307edb..beaa64d8d90 100644 --- a/doc/develop/index.rst +++ b/doc/develop/index.rst @@ -12,6 +12,7 @@ Implementation commands global_data logging + menus Debugging --------- |