Add compiled PDF for GitHub purposes