From 904e6707191f06cabf40553eeb207af5af4a8c3e Mon Sep 17 00:00:00 2001 From: mjk Date: Sun, 28 Jul 2024 15:47:37 +0200 Subject: [PATCH] Chore: add command. --- tools/make/docs.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/make/docs.mk b/tools/make/docs.mk index 048caccb..49df3c24 100644 --- a/tools/make/docs.mk +++ b/tools/make/docs.mk @@ -1,4 +1,4 @@ -.PHONY: serve-docs +.PHONY: init-docs serve-docs init-docs: @echo "Requires to have python and pip installed"