Re: [Texi2html-bug] Setting $element->{id} if manual is not split (i.e. element_file_name is not called)?

[Reinhold Kainhofer]

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

Am Mittwoch, 27. August 2008 schrieb Patrice Dumas:
> I am reluctant to do some something more intelligent in the default case,
> because of possible non uniqueness. SECxx isn't much better, though, since
> it could be the anchor produced by a node named SECxx. All other kinds
> of id/target could also certainly be ameliorated (those produced by
> footnotes, index entries).

I just saw that you changed the targets for the index entries from IDXxx to 
index-text, which makes much more sense and is much less prone to anchor 
changes as the document gets changed. Thanks a lot!

Cheers,
Reinhold

- -- 
- ------------------------------------------------------------------
Reinhold Kainhofer, Vienna University of Technology, Austria
email: address@hidden, http://reinhold.kainhofer.com/
 * Financial and Actuarial Mathematics, TU Wien, http://www.fam.tuwien.ac.at/
 * K Desktop Environment, http://www.kde.org, KOrganizer maintainer
 * Chorvereinigung "Jung-Wien", http://www.jung-wien.at/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIu/tsTqjEwhXvPN0RAl5FAKChU8G4XadHFaNP9jQaT8pAbWvrMQCgkZR9
mlyxoQXhLB/52FjNHOfJ4Ig=
=+RLX
-----END PGP SIGNATURE-----