From a361f314f8f7f00a7541a5af1b8a2a92ced475e9 Mon Sep 17 00:00:00 2001
From: winniehell <git@winniehell.de>
Date: Mon, 8 Aug 2016 14:42:20 +0200
Subject: add linting script for documentation

---
 .gitlab-ci.yml      |  7 +++++++
 scripts/lint-doc.sh | 15 +++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100755 scripts/lint-doc.sh

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8da9acf9066..4f118288902 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -224,6 +224,13 @@ teaspoon:
   script:
     - teaspoon
 
+lint-doc:
+  stage: test
+  image: "phusion/baseimage:latest"
+  before_script: []
+  script:
+    - scripts/lint-doc.sh
+
 bundler:audit:
   stage: test
   <<: *ruby-static-analysis
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh
new file mode 100755
index 00000000000..bc6e4d94061
--- /dev/null
+++ b/scripts/lint-doc.sh
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+cd "$(dirname "$0")/.."
+
+# Use long options (e.g. --header instead of -H) for curl examples in documentation.
+grep --perl-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/
+if [ $? == 0 ]
+then
+  echo '✖ ERROR: Short options should not be used in documentation!' >&2
+  exit 1
+fi
+
+echo "✔ Linting passed"
+exit 0
+
-- 
cgit v1.2.1