diff options
author | Rogan Creswick <creswick@gmail.com> | 2012-11-01 14:09:51 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2012-11-01 14:09:51 -0700 |
commit | 9994c02e6f0b91a1b2389822479ea8228d0a607f (patch) | |
tree | 163326a1a2ed388e49b8aa931cd342c9d0fc2023 /doc | |
parent | 459dfe8374d3056e1048fda56817fca649b97d35 (diff) | |
parent | bf58d5da461c4e0d63a2e33747449ed2b023a4ce (diff) |
Merge branch 'master' of src.galois.com:/srv/git/FiveUI
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual_src/install.md | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/manual_src/install.md b/doc/manual_src/install.md index c7fc328..e459734 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 |