gensym IDs for informal*

[Sam Steingold <sds@gnu.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I noticed that recently informaltables and informalexamples started to
get gensym IDs:

<div class="informaltable"><a id="id3042995"></a><table  .....

why?
I don't like this because this creates spurious diffs.
I cannot always avoid this because some informaltables are in reused
entities:

<!ENTITY foo '<informaltable>...</informaltable>'>
....
&foo;
...
&foo;

and IDs must be unique.

I was using informal* objects specifically to avoid them being mentioned
in any auto-generated list, so there seems to be no reason to assign
them gensym IDs.

thanks.

Sam.

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

iD8DBQFGxZ5EPp1Qsf2qnMcRAp03AJ0U46bi7fOUN19Rw3Kh2FkYdYNsKgCfdiD5
cZmvif/uzXPeCzkHmAAGb2A=
=60K/
-----END PGP SIGNATURE-----