Fix doc ci

.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/* .

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)