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> |