Skip to content
This repository has been archived by the owner on Jun 17, 2022. It is now read-only.

book / structured documentation #82

Open
jwerle opened this issue Jun 25, 2020 · 3 comments
Open

book / structured documentation #82

jwerle opened this issue Jun 25, 2020 · 3 comments
Assignees
@jwerle
Labels
bounty sponsorship by devguard available documentation Improvements or additions to documentation

Comments

@jwerle
Copy link
Member

jwerle commented Jun 25, 2020

In an effort to help others get started with ZZ, we will start writing user guides in GitBook. The entries will be simple and approachable. It will target classic things like Installation & Setup, Prerequisites, Getting Started, Concepts, Hello World, Modules, Dependencies, User Space Repositories, Z3/Yices, Building, and more.
@jwerle jwerle added the documentation Improvements or additions to documentation label Jun 25, 2020
@jwerle jwerle self-assigned this Jun 25, 2020
@aep
Copy link
Collaborator

aep commented Jun 25, 2020

havent tried gitbooks. i really like mdbooks https://github.com/rust-lang/mdBook
not a strong opinion, just in case you didnt know.

@jwerle
Copy link
Member Author

jwerle commented Jun 25, 2020

Nice I didn't know that existed. I'll check it out!

@aep aep mentioned this issue Jul 22, 2020
Closed
@aep aep added the bounty sponsorship by devguard available label Jul 22, 2020
@aep aep changed the title GitBook book / structured documentation Jul 22, 2020
@jwerle
Copy link
Member Author

jwerle commented Jul 22, 2020

@aep okay I like mdbook and will be sticking with it!

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

@jwerle jwerle

Labels
bounty sponsorship by devguard available documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@aep @jwerle