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

[Stephen Weeks]

> I'd say have grab-wiki replace/update the version variable directly
> in make-pdf-guide.

Sounds good.