Doxygen is a very useful tool which can generate code documentation and diagram from the code.
This PR allows us to run Doxygen against code updates and publish them to github pages.
After some testing, we might want to restrict pushing to github pages to when PRs are merged, but we can do that later on.
Doxygen is a very useful tool which can generate code documentation and diagram from the code. This PR allows us to run Doxygen against code updates and publish them to github pages.
After some testing, we might want to restrict pushing to github pages to when PRs are merged, but we can do that later on.