Titles have whitespace, and can be arbitrarily long. I'd rather we
just manually rename them to something suitable.
On May 1, 2007, at 6:32 PM, John Sundman wrote:
I would prefer that the example file name be extracted from the
"title" attribute of the example tag.
If there are reasons why that can be done now -- and I have no idea
if all the examples even *have* a title attribute-- then I would
still like to see us move to that scheme at some point.
jrs
On May 1, 2007, at 7:56 PM, P T Withington wrote:
I wonder if rather than using gensym for example file names we
should use something like and MD5 hash of the example code (so
that adding an example does not cause all the example files to be
renumbered)?
