summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorpukkamustard <pukkamustard@posteo.net>2021-09-07 13:41:12 +0200
committerJulien Lepiller <julien@lepiller.eu>2021-09-08 13:39:27 +0200
commitf8f94cc5446753b37ab3ddd23e21919efd006769 (patch)
treec069489b0e3c8b3354b435373bb875c408b5efc3 /doc
parent5c5e9d4e50af20042947b6b55e462a25b9d8cfc7 (diff)
guix: dune-build-system: Put dune into a reproducible release mode.
* guix/build/dune-build-system.scm (build,check): Replace the profile parameter with the appropriate release flags. * guix/build-system/dune.scm: Remove the profile parameter. * doc/guix.texi: Remove paragraph on profile parameter. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi5
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 679f6b4369..29246ad4e5 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -7735,11 +7735,6 @@ is useful when a package contains multiple packages and you want to build
only one of them. This is equivalent to passing the @code{-p} argument to
@code{dune}.
-The @code{#:profile} parameter can be passed to specify the
-@uref{https://dune.readthedocs.io/en/stable/dune-files.html#profile,
-dune build profile}. This is equivalent to passing the @code{--profile}
-argument to @code{dune}. Its default value is @code{"release"}.
-
@end defvr
@defvr {Scheme Variable} go-build-system