| Index: pkg/analysis_server/doc/api.html
|
| diff --git a/pkg/analysis_server/doc/api.html b/pkg/analysis_server/doc/api.html
|
| index cb4dba9b8ea584ba4daade46f90b65d9b7644f95..5da62451e66685ab6408643bfa0de23e48ef4964 100644
|
| --- a/pkg/analysis_server/doc/api.html
|
| +++ b/pkg/analysis_server/doc/api.html
|
| @@ -326,13 +326,11 @@ a:focus, a:hover {
|
| </dd>
|
| </dl>
|
| <dl>
|
| - <dt>--no-index</dt>
|
| + <dt class="deprecated">--no-index</dt>
|
| <dd>
|
| - Disable the server from generating an index. If this flag is passed and an
|
| - API is used that requires an index, then an error, <tt>NO_INDEX_GENERATED</tt>,
|
| - will be thrown. The set of API calls that require an index include:
|
| - refactoring calls, code completions and searching.
|
| -
|
| + <p><b>Deprecated:</b> clients should no longer pass this option in</p>
|
| + This flag used to disable the server from generating an index, but now
|
| + it has no effect.
|
| </dd>
|
| </dl>
|
| <dl>
|
| @@ -3944,12 +3942,6 @@ a:focus, a:hover {
|
| <p>
|
| A malformed request was received.
|
| </p>
|
| - </dd><dt class="value">NO_INDEX_GENERATED</dt><dd>
|
| -
|
| - <p>
|
| - The "--no-index" flag was passed when the analysis server created,
|
| - but this API call requires an index to have been generated.
|
| - </p>
|
| </dd><dt class="value">ORGANIZE_DIRECTIVES_ERROR</dt><dd>
|
|
|
| <p>
|
|
|