From 8d472d9f51d638bb111ca216b26fd67a7df45314 Mon Sep 17 00:00:00 2001 From: Francesco Andreuzzi Date: Sat, 14 Jun 2025 00:43:16 +0200 Subject: [PATCH 1/6] fix --- .lychee.toml | 2 +- .markdownlint.yaml | 4 +++- Makefile | 6 ++++-- docs/specification.md | 1 + 4 files changed, 9 insertions(+), 4 deletions(-) diff --git a/.lychee.toml b/.lychee.toml index b65d0579..9aad71a3 100644 --- a/.lychee.toml +++ b/.lychee.toml @@ -1,4 +1,4 @@ -include_fragments = true +include_fragments = false exclude = [ # excluding links to pull requests and issues is done for performance diff --git a/.markdownlint.yaml b/.markdownlint.yaml index eb42d5b5..c211e179 100644 --- a/.markdownlint.yaml +++ b/.markdownlint.yaml @@ -11,4 +11,6 @@ no-duplicate-header: ol-prefix: style: ordered no-inline-html: false -fenced-code-language: false \ No newline at end of file +fenced-code-language: false +MD024: false +MD059: false diff --git a/Makefile b/Makefile index 75be19ad..9dd56029 100644 --- a/Makefile +++ b/Makefile @@ -183,6 +183,8 @@ markdownlint: @if ! npm ls markdownlint; then npm install; fi @for f in $(ALL_DOCS); do \ echo $$f; \ - npx --no -p markdownlint-cli markdownlint -c .markdownlint.yaml $$f \ - || exit 1; \ + docker run --rm \ + --mount 'type=bind,source=$(PWD),target=/workdir' \ + davidanson/markdownlint-cli2:v0.18.1 \ + --config .markdownlint.yaml $$f || exit 1; \ done diff --git a/docs/specification.md b/docs/specification.md index 496ae1a3..519fe0af 100644 --- a/docs/specification.md +++ b/docs/specification.md @@ -1,3 +1,4 @@ +