Merge branch 'markdownlintrc' into 'preview'

.markdownlintrc verschoben

See merge request !299

doc.zih.tu-dresden.de/util/lint-changes.sh

@@ -7,13 +7,16 @@ if [ -n "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then
     branch="origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME"
 fi
 
+configfile=$(dirname $0)/../.markdownlintrc
+echo "config: $configfile"
+
 any_fails=false
 
 files=$(git diff --name-only "$(git merge-base HEAD "$branch")")
 for f in $files; do
     if [ "${f: -3}" == ".md" ]; then
         echo "Linting $f"
-        if ! markdownlint "$f"; then
+        if ! markdownlint -c $configfile "$f"; then
             any_fails=true
         fi
     fi