Index: pkg/analysis_server/tool/spec/spec_input.html |
diff --git a/pkg/analysis_server/tool/spec/spec_input.html b/pkg/analysis_server/tool/spec/spec_input.html |
index 07a0577a4ffc25d902c3563ab157506c0021554e..44e480f7dc57eb93decca0ca7240741b1a0e1ae3 100644 |
--- a/pkg/analysis_server/tool/spec/spec_input.html |
+++ b/pkg/analysis_server/tool/spec/spec_input.html |
@@ -125,14 +125,7 @@ |
For convenience, the API is divided into domains. Each domain is |
specified in a separate section below: |
</p> |
- <ul> |
- <li><a href="#domain_server">Server</a></li> |
- <li><a href="#domain_analysis">Analysis</a></li> |
- <li><a href="#domain_completion">Code Completion</a></li> |
- <li><a href="#domain_search">Search</a></li> |
- <li><a href="#domain_edit">Edit</a></li> |
- <li><a href="#domain_execution">Execution</a></li> |
- </ul> |
+ <toc></toc> |
<p> |
The specifications of the API’s refer to data structures beyond |
the standard JSON primitives. These data structures are |