Update docs/Compilation.txt.