search

devkitPro / wut

Let's try to make a Wii U Toolchain / SDK for creating rpx/rpl.
zlib License
244 stars 52 forks source link

Publish documentation when pushing to a tag #156

Closed Crayon2000 closed 2 years ago

Crayon2000 commented 4 years ago

This PR will publish the doxygen documentation to GitHub Pages when pushing to the master branch a tag.

With the current wut project configuration, this PR is a bit useless. Right now the GitHub Pages is set to use a Custom domain. So when you go to https://devkitPro.github.io/wut you are redirected to https://wut.devkitpro.org.

If you want to keep this behavior:

  1. I would recommend to delete the gh-pages branch so we know it's not use
  2. I would also update the doc on the server to have the latest version
  3. And of course I would close this PR

If not... please accept this PR and change the GitHub Pages project Settings 😁

fincs commented 3 years ago

gh-pages is CNAME'd to wut.devkitpro.org.

Also, it would be preferrable to only build documentation when a new tag is created, not for every single commit in master. That's what we have set up in libctru, for example.