make: Add a make docs synonym for make build

bd808 · bd808 · commit b44042ceb722 · 2021-11-01T17:16:20.000-06:00
diff --git a/Makefile b/Makefile
@@ -55,7 +55,9 @@ tail:  ## Tail logs from the docker-compose stack
 build:  ## Build static site
 	docker compose exec portal \
 		poetry run mkdocs --verbose build
-.PHONY: tail
+.PHONY: build
+docs: build
+.PHONY: docs
 
 clean:  ## Clean up Docker images and containers
 	yes | docker image prune
