diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-25 17:55:05 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-25 17:55:05 -0800 |
| commit | b4f01ad9fa584c77fe6b2a6f55a9e5c00a701e58 (patch) | |
| tree | 5ae06e6af63a387e6b8c5c79438e748839a1d8fb /doc | |
| parent | 8733f2bfb7b6661f5584e432f262e78efd123916 (diff) | |
added link to headless documentation
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/gettingStarted.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual_src/gettingStarted.md b/doc/manual_src/gettingStarted.md index 44757b1..bc3b463 100644 --- a/doc/manual_src/gettingStarted.md +++ b/doc/manual_src/gettingStarted.md @@ -240,3 +240,6 @@ caused the violation. For more detail on the API available when writing new rules, see the [Javascript documentation](../jsdoc/index.html). +`Headless` is a tool for automated rule set checking using FiveUI. +To get started with Headless, see [Headless +documentation](headlessFiveUI.html). |