Switches the developer doc generation from Doxygen to sphinx (resolves #11).
Does the following:
[ ] Build developer docs with sphinx
[x] Update autodeployment workflow
[ ] Actually provide documentation for the website_build folder
[x] Update text from doxygen -> sphinx
The profiling results are still written as .md files that are linked to from GH-pages.
A later to-do is to get sphinx to govern the whole site, likely through inserting text into an .rst file as opposed to an .md file, and then we can get sphinx on the job.
Switches the developer doc generation from
Doxygentosphinx(resolves #11).Does the following:
website_buildfolderdoxygen->sphinxThe profiling results are still written as
.mdfiles that are linked to from GH-pages. A later to-do is to getsphinxto govern the whole site, likely through inserting text into an.rstfile as opposed to an.mdfile, and then we can get sphinx on the job.