diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-10-31 15:58:31 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-10-31 15:58:31 -0700 |
| commit | 3a5328dc9fea9dda6f3c55c731aaa0e942ad987f (patch) | |
| tree | 2d659858d01b0a93a7eb065022989a887e9715ab /doc | |
| parent | 442385a02acda53c4f62ec94b9f5242be8a227e5 (diff) | |
| parent | 9ff2d2da866a142d564adfb2038ee5ce02e36138 (diff) | |
Merge branch 'master' of src.galois.com:/srv/git/FiveUI
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/install.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/manual_src/install.md b/doc/manual_src/install.md index da4dd61..371e357 100644 --- a/doc/manual_src/install.md +++ b/doc/manual_src/install.md @@ -64,7 +64,7 @@ located at `d:\binaries\fiveui_chrome.zip`  - * Open Chrome and navigate to the extensions manager (this can be reached + * Open Chrome and navigate to the extensions manager. The extensions manager can be reached through Chrome's menu system or by entering ```chrome://extensions``` in the URL bar. @@ -73,10 +73,10 @@ located at `d:\binaries\fiveui_chrome.zip` * Check the box labeled "Developer Mode" at the top of the extensions manager page (if it is not already checked): - + * Click "Load Unpacked Extension" and choose the directory where you unpacked - the Chrome extension file, in our example this would be `d:\binaries`. + the Chrome extension file. The directory should contain the file `manifest.json`.  @@ -86,7 +86,7 @@ located at `d:\binaries\fiveui_chrome.zip`  * **Note:** The warning message reading "Support for manifest version 1 is being phased out." - is a known issue and does not affect the FiveUI extension (for now). + is a known issue and does not currently affect the FiveUI extension. FiveUI is now installed. The [Getting Started guide](gettingStarted.html) explains how to configure and use the extension. |