[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texi2html-bug] Setting $element->{id} if manual is not split (i.e.
From: |
Reinhold Kainhofer |
Subject: |
Re: [Texi2html-bug] Setting $element->{id} if manual is not split (i.e. element_file_name is not called)? |
Date: |
Mon, 1 Sep 2008 16:25:48 +0200 |
User-agent: |
KMail/1.9.10 |
-----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-----
- Re: [Texi2html-bug] Setting $element->{id} if manual is not split (i.e. element_file_name is not called)?,
Reinhold Kainhofer <=