diff options
| author |  Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 10:58:41 -0700 |
|---|---|---|
| committer | Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 10:58:41 -0700 |
| commit | f454bad1206942a9537012804e6d02452effa0fa (patch) | |
| tree | a7e383caff81237fdb86ee84f62aaced910ca703 /doc | |
| parent | f8079cd04131f5d742d8fc2682e57d7e18d06825 (diff) | |
Doco: fix link to getting started guide
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/install.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual_src/install.md b/doc/manual_src/install.md index 2bded6c..81666b1 100644 --- a/doc/manual_src/install.md +++ b/doc/manual_src/install.md @@ -40,7 +40,7 @@ that it is located at `d:\binaries\fiveui.xpi` * Click on the `Install Now` button once it becomes active. -FiveUI is now installed. The [Getting Started guide](gettingStarted) +FiveUI is now installed. The [Getting Started guide](gettingStarted.html) explains how to configure and use the extension. ## Installing FiveUI in Chrome |