From 609183c305b8750d945e21749a7a6e8034280d1e Mon Sep 17 00:00:00 2001 From: Matthew Wild Date: Wed, 20 Oct 2021 14:03:36 +0100 Subject: [PATCH] Makefile: Some fixes for the docs build process --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 049fb01..53dc3ed 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ -.PHONY: all docker +.PHONY: all docker site -DOCS=$(docs/**.md) +DOCS := $(docs/**.md) all: docker @@ -9,7 +9,7 @@ docker: site: mkdocs.yml $(DOCS) echo $(DOCS) - mkdocs + mkdocs build docs/_po/snikket-server-docs.pot: po4a.conf $(DOCS) po4a \