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

[Adam Goode]

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

Stephen Weeks wrote:
>> I'd say have grab-wiki replace/update the version variable directly
>> in make-pdf-guide.
>=20
> Sounds good.
>=20

How is this patch?


Adam


Index: bin/grab-wiki
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--- bin/grab-wiki       (revision 4628)
+++ bin/grab-wiki       (working copy)
@@ -102,6 +102,9 @@
        ) >$f
 done

+# update make-pdf-guide version
+sed -i "s/\\(^version=3D\\).*$/\\1$version/g" $src/bin/make-pdf-guide
+
 rm -f $tmp $index $script

 cp Home index.html



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

iD8DBQFEhj7rlenB4PQRJawRAh9mAJ9NTweQIJpJWvJcRH7wBiW0zSaENACfXaYa
AyvWJIh7yPPoi4W0Ly5TDHk=
=r6h6
-----END PGP SIGNATURE-----

--------------enig767AD92D377DA1ED5350018E--