The Erg Book This repository generates the syntax part of the documents into erg-book every day. The main body of the document is in the erg repository, so please send any PR such as document modifications there.