Hello,

Noticed that the texinfo 4.0 doco mentions that, when building 
documentation, the sequence:

	tex
	texindex
	tex
	texindex
	tex

should be used.  The attached does this.

Ok?

Andrew

--

To summarize, this is a five step process:

   1. Run `tex' on your Texinfo file.  This generates a DVI file (with
      undefined cross-references and no indices), and the raw index files
      (with two letter extensions).

   2. Run `texindex' on the raw index files.  This creates the
      corresponding sorted index files (with three letter extensions).

   3. Run `tex' again on your Texinfo file.  This regenerates the DVI
      file, this time with indices and defined cross-references, but
      with page numbers for the cross-references from last time,
      generally incorrect.

   4. Sort the indices again, with `texindex'.

   5. Run `tex' one last time.  This time the correct page numbers are
      written for the cross-references.