update; android autobuolder container is now published

doc/install/Docker.mdwn

@@ -5,22 +5,27 @@ For example:
 
 	docker run -i -t joeyh/debian-unstable apt-get install git-annex
 
-# autobuilders
+# containers for autobuilders
 
-The git-annex Linux autobuilds are built using a Docker container.
+The git-annex Linux autobuilds are built using Docker containers.
-If you'd like to set up your own autobuilder in a Docker container,
+Most of these are not published, but you can build your own. (See below.)
-the image that is used is not currently published, but you can build
+
-a new image using [Propellor](http://joeyh.name/code/propellor). Just
+Since the Android autobuilder container can take quite a lot of work to get
-install Propellor and add this to its `config.hs`:
+built, it is published. `docker pull joeyh/git-annex-android-builder`
+
+# building autobuilder containers using Propellor
+
+The Docker containers are built using
+[Propellor](http://joeyh.name/code/propellor). To generate your own image,
+Just install Propellor and add this to its `config.hs`:
 
 [[!format haskell """
-host hostname@"your.machine.net" = Just $ props
+import qualified Propellor.Property.SiteSpecific.GitAnnexBuilder as GitAnnexBuilder
-        & Docker.configured
-        & Docker.docked container hostname "amd64-git-annex-builder"
 
-container _ "amd64-git-annex-builder" = in Just $ Docker.containerFrom
+	, host hostname@"your.machine.net" = Just $ props
-	(image $ System (Debian Unstable) "amd64")
+	        & Docker.configured
-	[ Docker.inside $ props & GitAnnexBuilder.builder "amd64" "15 * * * *" False ]
+		& Docker.docked container hostname "amd64-git-annex-builder"
+	, GitAnnexBuilder.standardAutoBuilderContainer dockerImage "amd64" 15 "2h"
 """]]
 
 This will autobuild every hour at :15, and the autobuilt image will be