[MLton] question about bin/make-pdf-guide

Stephen Weeks MLton@mlton.org
Wed, 7 Jun 2006 10:56:31 -0700


> 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.