From 93ea08db81e8ccde6913ebb0e052b2e80f193ee7 Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Thu, 10 Mar 2022 14:50:30 +0100 Subject: [PATCH] Fix doc ci --- .github/workflows/main.yml | 11 ++++++++--- docs/Makefile | 6 ++++-- 2 files changed, 12 insertions(+), 5 deletions(-) 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)