diff --git a/docs/Makefile b/docs/Makefile index bd5d330ddb..92780c2e48 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -157,6 +157,7 @@ deploy: @echo "Documentation deployed." # build and prepare the docs for release +# release: make mv-local make deploy