relax SVN archive

svn+ssh://bugman@.../svn/relax/trunk

........
r20497 | bugman | 2013-07-31 20:19:05 +0200 (Wed, 31 Jul 2013) | 3 lines

Many improvements to the indexing in the relax user manual.
........
r20498 | bugman | 2013-07-31 20:51:18 +0200 (Wed, 31 Jul 2013) | 6 lines

Bug fix for the page numbers in the index - these were often out by a few pages.

The makeindex command was being run too early in the repetitive LaTeX compilation chain, causing the
page numbers to be incorrect. It is now run twice to fix the problem.
........