diff options
| author | Dimitris Apostolou <dimitris.apostolou@icloud.com> | 2020-01-02 09:37:15 +0200 |
|---|---|---|
| committer | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2020-01-02 09:37:15 +0200 |
| commit | ecc05bbdb68603e0c46d9d413a23cd7a5c669364 (patch) | |
| tree | f4ef0d326ef7ff632a0d2799bffcc881fa56c035 /docs/generator/checklinks.sh | |
| parent | ef0be0c5064b1614a13fa26e8f5f5a8bfd253698 (diff) | |
Fix typos (#7375)
Diffstat (limited to 'docs/generator/checklinks.sh')
| -rwxr-xr-x | docs/generator/checklinks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/generator/checklinks.sh b/docs/generator/checklinks.sh index 6773839deb..ab5964312a 100755 --- a/docs/generator/checklinks.sh +++ b/docs/generator/checklinks.sh @@ -18,7 +18,7 @@ printhelp () { -f Just check the passed md file General Options: -x Execute commands. By default the script runs in test mode with no files changed by the script (results and fixes are just shown). Use -x to have it apply the changes. - -u trys to follow URLs using curl + -u Tries to follow URLs using curl -v Outputs debugging messages By default, nothing is actually checked. The following options tell it what to check: -a Check all link types |