diff options
| author | Mark Otto <otto@github.com> | 2013-12-01 09:05:39 +0400 |
|---|---|---|
| committer | Mark Otto <otto@github.com> | 2013-12-01 09:05:39 +0400 |
| commit | a127f3921eea284bb0656da1362fe4f2a45df8fe (patch) | |
| tree | c1deee2a777c5fe5c62c6edae1837dd6e83abb01 /_includes | |
| parent | ed98ac75600b08f391df2fc0bffe009c8892e556 (diff) | |
Fixes #10716: Update what's included docs to add info on both download options
Diffstat (limited to '_includes')
| -rw-r--r-- | _includes/nav-getting-started.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_includes/nav-getting-started.html b/_includes/nav-getting-started.html index 243c05fb05..ce7a718d66 100644 --- a/_includes/nav-getting-started.html +++ b/_includes/nav-getting-started.html @@ -8,6 +8,10 @@ </li> <li> <a href="#whats-included">What's included</a> + <ul class="nav"> + <li><a href="#whats-included-precompiled">Precompiled</a></li> + <li><a href="#whats-included-source">Source code</a></li> + </ul> </li> <li> <a href="#template">Basic template</a> |