diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 10ad8b3..940d122 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -57,12 +57,17 @@ jobs: nix-shell --run 'python --version' nix-shell --run 'sphinx-build --version' - - name: Make all + - name: doxygen run: | cd docs - make all + nix-shell --run 'make doxygen' - - name: Make sphinx as the main + - name: sphinx + run: | + cd docs + nix-shell --run 'make sphinx' + + - name: Make sphinx as the main page run: | cd docs mv sphinx/* . diff --git a/docs/Makefile b/docs/Makefile index 2f40e3f..f50e852 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,11 +1,13 @@ DOXYGEN_INDEX = doxygen/html/index.html -all: $(DOXYGEN_INDEX) sphinx +all: doxygen sphinx +.PHONY: sphinx doxygen + +doxygen: $(DOXYGEN_INDEX) $(DOXYGEN_INDEX): doxygen Doxyfile -.PHONY: sphinx SPHINX_BUILD_DIR = sphinx $(SPHINX_BUILD_DIR)/index.html: index.rst atrip.rst conf.py sphinx-build . $(SPHINX_BUILD_DIR)