Building the manual

• mdbook build in the root source directory
• The manual should now be available in the book subdirectory.[

Adding to the manual

• Edit manual/SUMMARY.md and add a link to the new file.Use a path relative to the repository root.
• Add the new Markdown file to the git index (git add …)