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

setup: update documentation related commands in Makefile #252

Merged

ixje merged 1 commit into master from fix-makefile-docs

Mar 7, 2023

Member

ixje commented Mar 7, 2023

fix #250

removes obsolete Sphinx documentation generation
use mkdocs to build
add deploy option for manually deploying to s3


          setup: update documentation related commands in Makefile

24d5fc0

ixje merged commit d7e2c02 into master

ixje deleted the fix-makefile-docs branch

March 7, 2023 07:48

coveralls commented Mar 7, 2023

Coverage: 80.973%. Remained the same when pulling 24d5fc0 on fix-makefile-docs into 968140c on master.

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