Fix html, for real
This commit is contained in:
parent
1b6aeaf705
commit
b72303cad4
6
.github/workflows/main.yml
vendored
6
.github/workflows/main.yml
vendored
@ -58,10 +58,14 @@ jobs:
|
|||||||
|
|
||||||
- name: create atrip.html
|
- name: create atrip.html
|
||||||
run: |
|
run: |
|
||||||
cd doc
|
|
||||||
nix-shell --run 'make html'
|
nix-shell --run 'make html'
|
||||||
mv atrip.html doc/
|
mv atrip.html doc/
|
||||||
|
|
||||||
|
- name: create doxygen
|
||||||
|
run: |
|
||||||
|
nix-shell --run 'make -C ./doc all'
|
||||||
|
cd doc
|
||||||
|
|
||||||
- name: Deploy
|
- name: Deploy
|
||||||
uses: JamesIves/github-pages-deploy-action@4.1.0
|
uses: JamesIves/github-pages-deploy-action@4.1.0
|
||||||
with:
|
with:
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user