aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2013-02-11 19:31:26 -0800
committerGravatar Benjamin Jones <bjones@galois.com>2013-02-11 19:54:19 -0800
commit53c8d9316886fc5704aa638ef9d696029618caff (patch)
tree3ab4bcb6a01f6a3e4cf80d3702cfba3303430591 /doc
parent6ad504fcb173503f530296bf54330b7fb841f1a5 (diff)
cleaned up exampleData/headlessRuns/
Diffstat (limited to 'doc')
-rw-r--r--doc/manual_src/headlessFiveUI.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/manual_src/headlessFiveUI.md b/doc/manual_src/headlessFiveUI.md
index 11ee1b9..f14b441 100644
--- a/doc/manual_src/headlessFiveUI.md
+++ b/doc/manual_src/headlessFiveUI.md
@@ -3,7 +3,7 @@
# Introducing "headless"
The FiveUI distribution comes with a Java application called `headless` that is
-desiged to make automated testing with FiveUI easy.
+designed to make automated testing with FiveUI easy.
The headless tool can take a collection of FiveUI rule sets and a target (a
single web page, an entire website, or a filtered part of one) and automate the
@@ -43,6 +43,10 @@ make sure you have Firefox 17 (the E.S.R. release, see step 3 below) installed.
3. Run `runHeadless.sh` one of the included run description files
+ $ cd <FiveUI>/exampleData/headlessRuns
+ $ runHeadless.sh -o run.txt -r report
+ ...
+
## Installation
1. Install maven