From a51ae8c40bdfb8bd2be6da3b37b2fb3cfdccc929 Mon Sep 17 00:00:00 2001
From: Matt Witherspoon <32485495+spoonincode@users.noreply.github.com>
Date: Tue, 3 Oct 2023 23:58:27 -0400
Subject: [PATCH] rename reproducible.Dockerfile in the README too

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index e95a82f731..c5fc400c57 100644
--- a/README.md
+++ b/README.md
@@ -104,11 +104,11 @@ If you are in an Ubuntu docker container, omit `sudo` from all commands because
 #### Pinned Reproducible Build
 The pinned reproducible build requires Docker. Make sure you are in the root of the `leap` repo and then run
 ```bash
-DOCKER_BUILDKIT=1 docker build -f tools/Dockerfile.reproducible -o . .
+DOCKER_BUILDKIT=1 docker build -f tools/reproducible.Dockerfile -o . .
 ```
 This command will take a substantial amount of time because a toolchain is built from scratch. Upon completion, the current directory will contain a built `.deb` and `.tar.gz` (you can change the `-o .` argument to place the output in a different directory). If needing to reduce the number of parallel jobs as warned above, run the command as,
 ```bash
-DOCKER_BUILDKIT=1 docker build --build-arg LEAP_BUILD_JOBS=4 -f tools/Dockerfile.reproducible -o . .
+DOCKER_BUILDKIT=1 docker build --build-arg LEAP_BUILD_JOBS=4 -f tools/reproducible.Dockerfile -o . .
 ```
 
 #### Unpinned Build