diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7527607..7f69693 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -58,10 +58,14 @@ jobs:
 
     - name: create atrip.html
       run: |
-        cd doc
         nix-shell --run 'make html'
         mv atrip.html doc/
 
+    - name: create doxygen
+      run: |
+        nix-shell --run 'make -C ./doc all'
+        cd doc
+
     - name: Deploy
       uses: JamesIves/github-pages-deploy-action@4.1.0
       with: