From a89e5c30c95e9fd4c4625b0e65c3c98fb8d473ba Mon Sep 17 00:00:00 2001
From: Benjamin Jones <bjones@galois.com>
Date: Thu, 21 Feb 2013 17:46:40 -0800
Subject: moved FIVEUI_ROOT/bin to FIVEUI_ROOT/headless/bin and updated
 references in docs

---
 doc/manual_src/headlessFiveUI.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'doc')

diff --git a/doc/manual_src/headlessFiveUI.md b/doc/manual_src/headlessFiveUI.md
index c65088b..78f7a2d 100644
--- a/doc/manual_src/headlessFiveUI.md
+++ b/doc/manual_src/headlessFiveUI.md
@@ -92,12 +92,12 @@ that you have to `<FiveUI>/profiles/firefox`.
 
 ### Edit the run script
 
-Edit variables at the start of `<FiveUI>/bin/runHeadless.sh` to
+Edit variables at the start of `<FiveUI>/headless/bin/runHeadless.sh` to
 reflect your Firefox installation and FiveUI installation directory.
 
 ```
-$ cd <FiveUI>
-$ cat bin/runHeadless.sh
+$ cd <FiveUI>/headless/bin
+$ cat runHeadless.sh
 export FIVEUI_ROOT_PATH=$HOME/galois/FiveUI
 export FIREFOX_BIN_PATH=$HOME/myapps/Firefox17/Contents/MacOS/firefox
 ...
@@ -108,8 +108,8 @@ export FIREFOX_BIN_PATH=$HOME/myapps/Firefox17/Contents/MacOS/firefox
 The `runHeadless.sh` script can be invoked from the command line with options.
 
 ```
-$ cd <FiveUI>
-$ bin/runHeadless.sh -h
+$ cd <FiveUI>/headless/bin
+$ ./runHeadless.sh -h
 usage: headless <input file 1> [<input file 2> ...]
  -h                      print this help message
  -o <outfile>            write output to file
@@ -133,7 +133,7 @@ $ mkdir -p reports/basic
 Now invoke the `runHeadless` script.
 
 ```
-$ <FiveUI>/bin/runHeadless.sh basicRun.json -v -o reports/basic.out -r reports/basic
+$ <FiveUI>/headless/bin/runHeadless.sh basicRun.json -v -o reports/basic.out -r reports/basic
 ```
 
 You should see the Firefox browser open and load `http://whitehouse.gov`. The FiveUI
-- 
cgit v1.2.3