Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile

* 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile:
  bin/mdw-build: Detect Scratchbox2 and qualify the `dist-...' dir name.
  bin/mdw-build: Make `checkout=REV' actually work.
  bin/mdw-build: Missing `;;' in `case'.
  dot/gnus.el: Configure the correct way to save articles.