The user manual is created with mdBook version 0.4.21, a tool that creates documentation from markdown files. The following commands might be useful:
-
mdbook servefor serving the documentation locally and update it on changes -
mdbook buildto build the final version for deployment