diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-11-01 14:06:26 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-11-01 14:06:26 -0700 |
| commit | bf58d5da461c4e0d63a2e33747449ed2b023a4ce (patch) | |
| tree | e049d8c1f2b080fa89b83c77182bfca8ce3621fa /doc | |
| parent | 3c65d402cc31ffa114afebf47925d9c741707253 (diff) | |
updated FF supported versions in install docs
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/install.md | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/manual_src/install.md b/doc/manual_src/install.md index 371e357..ae3862e 100644 --- a/doc/manual_src/install.md +++ b/doc/manual_src/install.md @@ -9,10 +9,11 @@ extension on your local computer. ## Installing FiveUI in Firefox -FiveUI is currently supported on Firefox 10, although it should also -work on newer versions and Firefox 3.6. Due to changes in the -long-term support and Mozilla version numbering scheme, versions 4-9 -are not supported. +FiveUI is currently supported on Firefox 10 (Mozilla's extended +support release version), although it should also work on Firefox +3.6. Due to changes in the long-term support and Mozilla version +numbering scheme, versions 4-9 are not supported. FiveUI is known +not to work in very recent versions of Firefox, e.g. v16. The FiveUI Firefox extension is packaged in a file called `fiveui.xpi`. Locate this file in your distribution (or download) and @@ -30,7 +31,7 @@ that it is located at `d:\binaries\fiveui.xpi` `Install Add-on From File`. * A file dialog should open, use this to browse to the `fiveui.xpi` - file (in our case, `d:\binaries\fiveui.xpi`. + file (in our case, `d:\binaries\fiveui.xpi`). * Click OK, and a warning dialog should appear. This dialog warns that the FiveUI author is not verified. Because this is a |