From a8098007076c786dd4375cf1bf458f8c570a4226 Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 13 Jun 2020 00:23:56 +0200 Subject: [PATCH] Add more docs to makefile --- docs/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index 8a2c6aa8e0..09ce5533fe 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -31,7 +31,8 @@ help: @echo " $(cblue)clean$(cnorm) to remove remnants of a previous build" @echo " $(cblue)local$(cnorm) to build local html docs of the current branch (no multiversion)." @echo " $(cblue)mv-local$(cnorm) to build multiversion html docs, without deploying (req. local git commit)" - @echo " $(cblue)release$(cnorm) to build and deploy multiversion docs online (req. commit and github push access)" + @echo " $(cblue)deploy$(cnorm) to deploy previously built multiversion docs online (req. commit and github push access)" + @echo " $(cblue)release$(cnorm) to build + deploy multiversion docs online (req. commit and github push access)" .PHONY: help Makefile