mirror of
https://github.com/pmret/papermario.git
synced 2024-09-16 14:32:37 +02:00
fix doxygen (final real)
This commit is contained in:
parent
44e2da93e0
commit
380eabdba3
1
.github/workflows/docs.yaml
vendored
1
.github/workflows/docs.yaml
vendored
@ -15,7 +15,6 @@ jobs:
|
||||
sudo mv doxygen-*/bin/doxy* /usr/local/bin
|
||||
- name: Generate docs
|
||||
run: doxygen
|
||||
- run: ls -l docs/html
|
||||
# deploy to gh pages if repo is pmret/papermario
|
||||
- name: Deploy to gh-pages
|
||||
if: github.repository != 'pmret/papermario'
|
||||
|
Loading…
Reference in New Issue
Block a user