From 31e09401bba2d79a7a94f767bc1d6b368c15cbcd Mon Sep 17 00:00:00 2001 From: jo Date: Thu, 22 Sep 2022 12:51:47 +0200 Subject: [PATCH] chore: replace custom makefile with vale packages --- .github/vale/styles/Makefile | 18 ------------------ .github/workflows/docs.yml | 2 +- .vale.ini | 4 ++++ Makefile | 2 +- 4 files changed, 6 insertions(+), 20 deletions(-) delete mode 100644 .github/vale/styles/Makefile diff --git a/.github/vale/styles/Makefile b/.github/vale/styles/Makefile deleted file mode 100644 index 4265030a4..000000000 --- a/.github/vale/styles/Makefile +++ /dev/null @@ -1,18 +0,0 @@ -.PHONY: all - -SHELL = bash - -%.zip: - wget -q $(URL) -O $@ - -Google.zip: URL=https://github.com/errata-ai/Google/releases/latest/download/Google.zip -Microsoft.zip: URL=https://github.com/errata-ai/Microsoft/releases/latest/download/Microsoft.zip - -%: %.zip - unzip -qq $< - touch $@ - -STYLES := ./Microsoft ./Google -STYLES_ZIP := $(addsuffix .zip,$(STYLES)) - -all: $(STYLES) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 63f16db73..c76fa5b8c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -48,5 +48,5 @@ jobs: - name: Run Vale run: | - make -C .github/vale/styles + vale sync vale --output line docs website/src/pages || true diff --git a/.vale.ini b/.vale.ini index 61a43c593..9b9bfb323 100644 --- a/.vale.ini +++ b/.vale.ini @@ -1,6 +1,10 @@ StylesPath = .github/vale/styles MinAlertLevel = warning +Packages = \ + https://github.com/errata-ai/Google/releases/latest/download/Google.zip, \ + https://github.com/errata-ai/Microsoft/releases/latest/download/Microsoft.zip + Vocab = Docs [*.md] diff --git a/Makefile b/Makefile index 4b93ed221..91c3eff9f 100644 --- a/Makefile +++ b/Makefile @@ -43,5 +43,5 @@ clean: git clean -xdf */ docs-lint: - $(MAKE) -C .github/vale/styles + vale sync vale docs website/src/pages