# LaTeX sources

Sources of the developer documentation. Every `.tex` file here with a
`\documentclass` is built with pdflatex (and bibtex when it cites) into
`release/docs/` at a stage tag; included parts without one are not built on
their own.