diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-21 17:50:04 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-21 17:50:04 -0800 |
| commit | 8733f2bfb7b6661f5584e432f262e78efd123916 (patch) | |
| tree | a1da5896590b6990d8c8a7be335003f2121ef4ae /doc | |
| parent | 60613ce46b4341902d1e1c61fb4e6caf08c37089 (diff) | |
update headless docs to reflect that the extension binaries now exist in the src dist
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/headlessFiveUI.md | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/manual_src/headlessFiveUI.md b/doc/manual_src/headlessFiveUI.md index 78f7a2d..461f041 100644 --- a/doc/manual_src/headlessFiveUI.md +++ b/doc/manual_src/headlessFiveUI.md @@ -52,17 +52,6 @@ on most major platforms (Linux, Mac OS X, Windows). The dependencies are: - [Maven](http://maven.apache.org/download.cgi) - UNIX archive utility `tar` (and optionally `make`) -### Download the FiveUI Firefox extension - -The packaged Firefox extension is not included in the source distribution and -is needed so that Headless can driver your browser with FiveUI installed. - -Download the extension from - - http://galoisinc.github.com/FiveUI/binaries/fiveui.xpi - -and save it to `<FiveUI>/contexts`. - ### Install the included webdrivers dependency The following command will instruct Maven to install |