> How is this patch? I was thinking it would be better to change make-pdf-guide to grab the version (via sed) from doc/guide/Home. That seems a little more robust.