diff options
Diffstat (limited to 'docs/toc.json')
| -rw-r--r-- | docs/toc.json | 18 |
1 files changed, 3 insertions, 15 deletions
diff --git a/docs/toc.json b/docs/toc.json index 061ba66f6..5369a0065 100644 --- a/docs/toc.json +++ b/docs/toc.json @@ -17,7 +17,7 @@ "name": "The Runtime", "children": { "stability": "Stability", - "program_lifecycle": "Program Lifecycle", + "program_lifecycle": "Program lifecycle", "compiler_apis": "Compiler APIs", "workers": "Workers" } @@ -32,19 +32,7 @@ } }, "testing": { - "name": "Testing", - "children": { - "writing": "Writing tests", - "running": "Running tests" - } - }, - "plugins": { - "name": "Plugins", - "children": { - "how_do_plugins_work": "How do plugins work?", - "creating_plugins": "Creating plugins", - "using_plugins": "Using plugins" - } + "name": "Testing" }, "tools": { "name": "Tools", @@ -73,7 +61,7 @@ "name": "Examples", "children": { "unix_cat": "Unix cat program", - "fileserver": "File server", + "file_server": "File server", "tcp_echo": "TCP echo server", "subprocess": "Creating a subprocess", "permissions": "Inspecting and revoking permissions", |