Manual indexes

[Philip Blundell]

>diagnostic.  If the texts of diagnostics are indexed, should they be in
>the main index or a separate index?

A separate index.  About the only use for having diagnostics in the index is 
so that people who are confronted with one unexpectedly can find out what it 
means, and in that situation they will always know that what they are looking 
for is a diagnostic rather than anything else.  There's no need to clutter the 
main index with them.

I'd be inclined to index command line options separately too.

p.


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

Content-Type: text/plain; charset=us-ascii

>diagnostic.  If the texts of diagnostics are indexed, should they be in
>the main index or a separate index?

A separate index.  About the only use for having diagnostics in the index is 
so that people who are confronted with one unexpectedly can find out what it 
means, and in that situation they will always know that what they are looking 
for is a diagnostic rather than anything else.  There's no need to clutter the 
main index with them.

I'd be inclined to index command line options separately too.

p.


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.4 (GNU/Linux)
Comment: Exmh version 2.1.1 10/15/1999 (debian)

iD8DBQE7EXnCVTLPJe9CT30RAjAtAJ48LbchE7jvYCXJCEbJAZnBxUSiRACgqcB1
XZFA6J/JC3O5JA/E+SIa1c0=
=0sau
-----END PGP SIGNATURE-----