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

[Matthew Fluet]

>> Seems as though the simplest way to fix this would be to replace
>> the occurrences of '$version' in bin/make-pdf-guide with 'MLTONVERSION',
>> and add bin/make-pdf-guide to the list of files to have MLTONVERSION
>> instantiated in the 'version' target of the top-level Makefile.
>
> There is also a $version in bin/grab-wiki, which someone with SVN
> access must run in order to copy the documentation from the wiki into
> the repository, so it can be used for packaging.

I don't know if this is really a problem (at least for the concern that 
Adam raised).  Adam's concern was (I believe) that building from a source 
RPM would produce a pdf guide with the building date, not the packaging 
date.  A normal build (whether from a source package or from an SVN 
checkout) does not perform grab-wiki, so I would think that we can presume 
that a source package has stamped wiki pages with the packaging date.