diff options
Diffstat (limited to 'docs/dist')
| -rw-r--r-- | docs/dist/doc/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/dist/doc/index.html b/docs/dist/doc/index.html index 050e93c70..93cce181a 100644 --- a/docs/dist/doc/index.html +++ b/docs/dist/doc/index.html @@ -103,7 +103,7 @@ (printable <a href="devguide/printable.html">html</a>) </td> - <td>This has a guide to + <td>This is a guide to <a href="devguide/ajc-ref.html">ajc</a>, the command-line compiler; <a href="devguide/ajbrowser.html">ajbrowser</a>, the stand-alone GUI for compiling and viewing crosscutting structure; |