From 7e91cc4013bcc83caf5f7611626dfde66c8c76f1 Mon Sep 17 00:00:00 2001 From: Sebastian Wendel Date: Mon, 31 Oct 2022 17:31:34 +0100 Subject: [PATCH] add make config for the main development tasks --- Makefile | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..af96434 --- /dev/null +++ b/Makefile @@ -0,0 +1,20 @@ +##@ General + +help: ## Display this help. + @awk 'BEGIN {FS = ":.*##"; printf "\nUsage:\n make \033[36m\033[0m\n"} /^[a-zA-Z_0-9-]+:.*?##/ { printf " \033[36m%-15s\033[0m %s\n", $$1, $$2 } /^##@/ { printf "\n\033[1m%s\033[0m\n", substr($$0, 5) } ' $(MAKEFILE_LIST) + +##@ Documentation + +docs-build: ## Build the MkDocs documentation + @mkdocs build + +docs-serve: ## Run mkdocs builtin development server + @mkdocs serve + +##@ Lint + +lint-markdown: ## Run markdown linter on all files + @mdl . + +%: + @true