Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Better clarify the sequencing of the penultimate and final stages of the
"compilation" procedure, in order that readers neither erroneously attempt their parallel execution, nor request that these tasks be performed by independent organizational divisions.
- Loading branch information