diff --git a/docs/Makefile b/docs/Makefile index 9d7f5321c4238a30a3c61e5111f12f0f8c74732c..8e501e9d5956daa730f754e7cc06091378e86956 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,9 +2,29 @@ # # SPDX-License-Identifier: Apache-2.0 +default: help all + +sudo ?= + + .PHONY: all + +help: + @echo "Usage: " + @echo "make all # to build HTML from rst sources" + @echo "make clean # to cleanup" + @echo "make setup/debian sudo=sudo # To install build tools (on debian and derived)" + all: sphinx-build -W . build clean: rm -rf ./build + +setup/debian: /etc/debian_version + ${sudo} apt-get install -y \ +make \ +python3-sphinx-tabs \ +python3-sphinxcontrib.plantuml \ +python3-dask-sphinx-theme \ +# EOL