Merged r7434 from the 1.3.1 tag, the updates to the distribution file creation.
The command used was: svn merge -r7433:7434 svn+ssh://bugman@.../svn/relax/tags/1.3.1 .
..... r7434 | bugman | 2008-09-29 00:41:59 +0200 (Mon, 29 Sep 2008) | 5 lines
Redesigned the packaging of the distribution files.
The GPG key name is now passed into scons and the user manual is no longer compiled. .....
Authored by: bugman 2008-09-29
Parent: [r7441]
Child: [r7443]
