Added build of developer's documentation

airbus-cyber · Nov 22, 2023 · f6fa36e · f6fa36e
1 parent 34d9569
commit f6fa36e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,4 +12,4 @@ jobs:
       - name: Configure
         run: ./configure
       - name: Build & package
-        run: make build doc
+        run: make build doc dev_doc