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.

Sign up for GitHub

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

Jump to bottom

Better doc gen #54

Draft

ire4ever1190 wants to merge 3 commits into FedericoCeratto:master from ire4ever1190:better-doc-gen

ire4ever1190 commented Dec 1, 2022

Should close #46

Makes a few changes to how doc generation / hosting is done

Doc generation is done for the whole project
runnableExamples don't run so compile time is speed up
User gets sent directly to theindex.html when they click hosted docs

Still bit work in progress

ire4ever1190 added 3 commits

December 1, 2022 23:09


          HTML doc generation now fixed

43b91d3

Search within hosted docs works

User is directed to theindex.html instead of custom page


          Remove symbol search since docs has search built in

2383e51


          Start adding jsondoc back

d4e0dc7

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment