Add build machinery for the manual.