A standalone home for work on documentation for Magma, in order to make check-ins less work
This document provides pointers for those looking to make documentation changes for the Magma project
- Documentation Overview for general documentation information
make helpfor specific commands