| Index: pkg/analysis_server/doc/api.html
|
| diff --git a/pkg/analysis_server/doc/api.html b/pkg/analysis_server/doc/api.html
|
| index 78d4d3fb735ccb884950dd802401da299b847138..2383c5f48104910a1bd50560568fdc5737b7e934 100644
|
| --- a/pkg/analysis_server/doc/api.html
|
| +++ b/pkg/analysis_server/doc/api.html
|
| @@ -202,9 +202,8 @@ dt.typeDefinition {
|
| <dl>
|
| <dt>--no-index</dt>
|
| <dd>
|
| - An indication that no indexer calls will be made to the analysis server,
|
| - and thus, no index should be created. If this flag is passed and an API is
|
| - used that requires an index, then an <tt>NO_INDEX_GENERATED</tt> exception
|
| + 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.
|
|
|
| @@ -3132,7 +3131,7 @@ dt.typeDefinition {
|
|
|
| <p>
|
| The "--no-index" flag was passed when the analysis server created,
|
| - but this API call requires an index to have been generated.
|
| + but this API call requires an index to have been generated.
|
| </p>
|
| </dd><dt class="value">REFACTORING_REQUEST_CANCELLED</dt><dd>
|
|
|
|
|