add

succinctlabs · Jan 15, 2025 · 029fc4e · 029fc4e
1 parent f8220de
commit 029fc4e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book/docs/writing-programs/compiling.mdx b/book/docs/writing-programs/compiling.mdx
@@ -52,7 +52,7 @@ Run `cargo prove build --help` to see the complete list of options. Some options
 
 ## Production Builds
 
-For production builds, use Docker to generate a **reproducible ELF** that will be identical across all platforms. Simply add the `--docker` flag to your build command. You can also specify a release version using `--tag` (if omitted, defaults to `latest`). For example:
+For production builds, use Docker to generate a **reproducible ELF** that will be identical across all platforms. Simply add the `--docker` flag to your build command. You can also specify a release version using `--tag`, otherwise the tag defaults to the latest release. For example:
 
 ```bash
 cargo prove build --docker --tag v4.0.0