[ptxdist] [PATCH] ptxdist: document 'getdev' action

[ptxdist] [PATCH] ptxdist: document 'getdev' action

[Roland Hieber]

Signed-off-by: Roland Hieber <rhi@pengutronix.de>
---
 bin/ptxdist           | 1 +
 doc/ref_parameter.inc | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/bin/ptxdist b/bin/ptxdist
index d7bf4d5ffc5d..343d80a7052e 100755
--- a/bin/ptxdist
+++ b/bin/ptxdist
@@ -947,6 +947,7 @@ Build Actions:
 
   go				start building the current project
   get				get all package sources
+  getdev			get all pre-built archives (if enabled)
   urlcheck			check package URL for all packages
 
   get <package>			get package sources
diff --git a/doc/ref_parameter.inc b/doc/ref_parameter.inc
index 0b0ba5c6f7ba..18ea01ae23db 100644
--- a/doc/ref_parameter.inc
+++ b/doc/ref_parameter.inc
@@ -112,6 +112,11 @@ Build Actions
   download everything at once. Afterwards the packages can be built without
   internet access.
 
+``getdev``
+  if using pre-built archives is enabled, this action will make sure that all
+  of them exist locally, possibly by downloading them from the configured
+  mirror server.
+
 ``urlcheck [<package>]``
   this action will check if the URL for the package (or all packages) still
   works. It does not download the whole file, so this is relatively fast,
-- 
2.20.1


_______________________________________________
ptxdist mailing list
ptxdist@pengutronix.de