diff options
author | Canop <cano.petrole@gmail.com> | 2020-05-27 21:39:29 +0200 |
---|---|---|
committer | Canop <cano.petrole@gmail.com> | 2020-05-27 21:39:29 +0200 |
commit | 9716be396d90185f2021f277c7844c530b957b78 (patch) | |
tree | e9177aa037d609ec801ccfd4bc7d23b639f165fc /website/docs/index.md | |
parent | 881ab736bcee425178dbef0424ee2777b478b1f1 (diff) |
minor documentation fixes
Diffstat (limited to 'website/docs/index.md')
-rw-r--r-- | website/docs/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/website/docs/index.md b/website/docs/index.md index 0cd7c0d..0945569 100644 --- a/website/docs/index.md +++ b/website/docs/index.md @@ -14,7 +14,7 @@ Notice the *unlisted*? That's what makes it usable where the old `tree` command would produce pages of output. -`.gitignore` files are properly dealt with to put unwanted files out of your way (you can ignore them though, see [documentation](documentation/usage/#gitignore)). +`.gitignore` files are properly dealt with to put unwanted files out of your way (you can ignore them though, see [documentation](../navigation/#toggles)). # Find a directory then `cd` to it |