-
Notifications
You must be signed in to change notification settings - Fork 88
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
deploy docs using gh-pages #29
Conversation
@TMRh20 How are the docs for this repo currently being published? I ask because I see a green checkmark next the previous commit, and there aren't any actions setup on this specific repo. Is this just the result of the repo's current settings in the "source" option of the "GitHub Pages" section? |
I dunno, its still being done manually. |
I made a commit by editing the readme.md, but the docs don't appear to have been deployed. Any ideas or am I missing something? |
what are the settings for this repo concerning the "GitHub Pages" section? Can I have temporary access (like expires in a week)? I see the action's workflow is executing fine, and the "gh-pages" branch looks like it should after a commit. The key ingredient is to set the "source" option to the "gh-pages" branch's root dir in the repo's settings under the "GitHub Pages" section. |
Done. I changed the setting too. |
Seems like I don't need that access anymore 😆 . After you changed the settings the docs are now properly published. 😄 |
Introduces a new workflow that:
Additionally, I've
Makefile
is parsed like a C source file because there is no extension -- its a doxygen problem)doxygen -u
for backward compatibility reasons.