From 1bcc5ce191f2c7b55f1ca3aa95bc446a0a07ceb1 Mon Sep 17 00:00:00 2001 From: Michael Currin <18750745+MichaelCurrin@users.noreply.github.com> Date: Tue, 8 Jun 2021 17:02:37 +0200 Subject: [PATCH] build: update Makefile --- docs/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index fbe3086..9c4fe95 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,9 +2,11 @@ default: install +all: install build + h help: - @egrep '(^\S)|(^$$)|\s+@echo' Makefile + @grep '^[a-z]' Makefile install: @@ -15,6 +17,7 @@ install: s serve: mkdocs serve --strict + b build: mkdocs build --strict