Merge pull request #11678 from botchagalupe/docker-11465

Closes #11465 - Add additional doc for local registries on pull command

docs/man/docker-pull.1.md

@@ -8,7 +8,7 @@ docker-pull - Pull an image or a repository from the registry
 **docker pull**
 [**-a**|**--all-tags**[=*false*]]
 [**--help**] 
-NAME[:TAG]
+NAME[:TAG] | [REGISTRY_HOST[:REGISTRY_PORT]/]NAME[:TAG]
 
 # DESCRIPTION
 
@@ -67,3 +67,4 @@ April 2014, Originally compiled by William Henry (whenry at redhat dot com)
 based on docker.com source material and internal work.
 June 2014, updated by Sven Dowideit <SvenDowideit@home.org.au>
 August 2014, updated by Sven Dowideit <SvenDowideit@home.org.au>
+April 2015, updated by John Willis <john.willis@docker.com>

docs/sources/reference/commandline/cli.md

@@ -1602,7 +1602,7 @@ This shows all the containers that have exited with status of '0'
 
 ## pull
 
-    Usage: docker pull [OPTIONS] NAME[:TAG]
+    Usage: docker pull [OPTIONS] NAME[:TAG] | [REGISTRY_HOST[:REGISTRY_PORT]/]NAME[:TAG]
 
     Pull an image or a repository from the registry
 
@@ -1638,6 +1638,7 @@ use `docker pull`:
     $ docker pull registry.hub.docker.com/debian
     # manually specifies the path to the default Docker registry. This could
     # be replaced with the path to a local registry to pull from another source.
+    # sudo docker pull myhub.com:8080/test-image
 
 ## push