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

[Adam Goode]

This is an OpenPGP/MIME signed message (RFC 2440 and 3156)
--------------enigD1562E95163A5B81F074FA4E
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hi,

I'm trying to package MLton for hopeful inclusion in Fedora Extras.
  http://fedoraproject.org/wiki/Extras/

I have a question about the version number in the generated
mlton-guide.pdf. It appears that the version number in that PDF file is
unconditionally the date which the package was built, even when building
an older version. This can be seen in current Debian builds that have
occurred since the release of MLton (look at the guide in the Sparc
package, for example).

Would it be better if bin/make-pdf-guide took a version parameter? Then
the guide would no longer have the potentially misleading statement: "It
is up to date for MLton $version."



Thanks,

Adam


--------------enigD1562E95163A5B81F074FA4E
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org

iD8DBQFEengUlenB4PQRJawRAmdNAJ43d3eehPZ0+UQLz1Cvd7hLTsZYSwCgj0+A
YknAst/5RgUl2uw2NtD6gY8=
=7jOT
-----END PGP SIGNATURE-----

--------------enigD1562E95163A5B81F074FA4E--