relax SVN archive

Redesigned the packaging of the distribution files.

The GPG key name is now passed into scons and the user manual is no longer compiled.

Added the relax user manual to the repository.

Changed the version number to 1.3.1.

Ported r7427 to r7430 from the 1.3 line, the updates to the CHANGES file.

The command used was:
svn merge -r7426:7430 svn+ssh://bugman@.../svn/relax/1.3 .

Ported r7122 from the 1.2.14 tag.

The command used was:
svn merge -r7122:7123 svn+ssh://bugman@.../svn/relax/tags/1.2.14 .

.....
r7123 | bugman | 2008-08-09 15:57:33 +0200 (Sat, 09 Aug 2008) | 3 lines

Updated the CHANGES file for the new version.
.....

Ported r5815 from the 1.2.13 tag.

The command used was:
svn merge -r5815:5816 svn+ssh://bugman@.../svn/relax/tags/1.2.13 .

.....
r5816 | bugman | 2008-04-19 13:04:23 +0200 (Sat, 19 Apr 2008) | 3 lines

Updated the CHANGES file for relax version 1.2.13.
.....

Ported r3532 from the 1.2.12 tag.

The command used was:
svn merge -r3532:3533 svn+ssh://bugman@.../svn/relax/tags/1.2.12 .

.....
r3533 | bugman | 2007-11-17 12:25:43 +0100 (Sat, 17 Nov 2007) | 3 lines

Updated the CHANGES file for relax 1.2.12.
.....

Ported r7425 from the 1.3.1 tag.

The command used was:
svn merge -r7425:7426 svn+ssh://bugman@.../svn/relax/tags/1.3.1 .

.....
r7426 | bugman | 2008-09-28 22:32:16 +0200 (Sun, 28 Sep 2008) | 3 lines
Changed paths:
M /tags/1.3.1/docs/CHANGES

Updated the CHANGES for relax version 1.3.1.
.....

Updated the CHANGES for relax version 1.3.1.

relax version 1.3.1.

Well, this one's going to take a while to summarise. 4398 revisions since 1.3.0, and 2 years of 1.3
line development!