New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Create user's guide #209

Closed

3 tasks

aprokop opened this issue Jan 30, 2018 · 1 comment

Assignees

Labels

type: documentation

Collaborator

aprokop commented Jan 30, 2018

Migrate pieces of design document to sphinx on RTD
Expand Build Section
Figure out a way to (semi-)automatically export sphinx to tex for the standalone user's guide

aprokop assigned tjfulle and aprokop

aprokop added the type: documentation label

Collaborator

sethrj commented Feb 5, 2019

Duplicate of #159?

aprokop closed this as completed

# for free to join this conversation on GitHub. Already have an account? # to comment