[bug#53610] [PATCH] doc: Document --profile option to "guix shell"

[Konrad Hinsen]

* doc/guix.texi (Invoking guix shell): New paragraph.
---
 doc/guix.texi | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index 62e994ceb1..92f515df8f 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -5824,6 +5824,12 @@ This is similar to the same-named option in 
@command{guix package}
 (@pxref{profile-manifest, @option{--manifest}}) and uses the same
 manifest files.
 
+@item --profile=@var{profile}
+@itemx -p @var{profile}
+Create an environment containing the packages installed in @var{profile}. 
+Use @command{guix package} (@pxref{Invoking guix package}) to create
+and manage profiles.
+
 @item --pure
 Unset existing environment variables when building the new environment, except
 those specified with @option{--preserve} (see below).  This has the effect of
-- 
2.34.0