From b72303cad4b4f72422cbca1362f8e3fdeec2e15a Mon Sep 17 00:00:00 2001
From: Alejandro Gallo <aamsgallo@gmail.com>
Date: Tue, 12 Oct 2021 19:41:22 +0200
Subject: [PATCH] Fix html, for real

---
 .github/workflows/main.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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: