From aac9d614a5173a1dae90befd978cbae5cc2add44 Mon Sep 17 00:00:00 2001
From: "Mark R. Tuttle" <mrtuttle@amazon.com>
Date: Fri, 9 Oct 2020 14:27:52 -0400
Subject: [PATCH] Make capitalization consistent on release page.

---
 .github/workflows/regular-release.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml
index 636d65946bc..e581162e136 100644
--- a/.github/workflows/regular-release.yaml
+++ b/.github/workflows/regular-release.yaml
@@ -68,7 +68,7 @@ jobs:
 
             ```sh
             msiexec /i ${{ env.CBMC_TAG }}-win64.msi
-            PATH="c:\program files\cbmc\bin";%PATH%
+            PATH="C:\Program Files\cbmc\bin";%PATH%
             ```
 
             Note that we depend on the Visual C++ redistributables. You likely already have these, if not please download and run vcredist.x64.exe from Microsoft to install them prior to running cbmc, or make sure you have Visual Studio 2019 installed.