| 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 3c6a8057ee1fcba5001ca84c3429ac70af374f6b..fef2f6b63991b612713ba19c04ab13a2a2810291 100644
|
| --- a/pkg/analysis_server/tool/spec/spec_input.html
|
| +++ b/pkg/analysis_server/tool/spec/spec_input.html
|
| @@ -165,9 +165,8 @@
|
| <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.
|
| <!-- TODO(jwren/scheglov): make sure that this of APIs that is complete. -->
|
|
|