diff options
| author | Achilleas Pipinellis <axil@gitlab.com> | 2018-09-03 13:18:42 +0300 |
|---|---|---|
| committer | Achilleas Pipinellis <axil@gitlab.com> | 2018-09-03 13:18:42 +0300 |
| commit | 8cb39fa8da9d2b7c54d2167c69abd045d6d1f347 (patch) | |
| tree | 688a5ad4b05e4091b09e207d5561486bedde7b5e /scripts | |
| parent | 0c8b219d2bc7c307411c0c368353faaa9cdbd09b (diff) | |
| parent | 726407e8c0681123bbbe624c37ba857b28d8951b (diff) | |
Merge branch 'docs-port-ee-community-contributions' into 'master'
Docs port ee community contributions
See merge request gitlab-org/gitlab-ce!21311
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lint-doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 178b209aacf..848364b4a9b 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -5,7 +5,7 @@ cd "$(dirname "$0")/.." # Use long options (e.g. --header instead of -H) for curl examples in documentation. echo '=> Checking for cURL short options...' grep --extended-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/ >/dev/null 2>&1 -if [ $? == 0 ] +if [ $? -eq 0 ] then echo '✖ ERROR: Short options for curl should not be used in documentation! Use long options (e.g., --header instead of -H):' >&2 |