From b9f11a457241c61655c8e75d03534f1664c8a89d Mon Sep 17 00:00:00 2001
From: maade93791 <maade@grapheneos.org>
Date: Fri, 6 Oct 2023 22:19:53 +0300
Subject: [PATCH] avbtool -> avbtool.py

---
 static/build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index 053e5c84..a89befc3 100644
--- a/static/build.html
+++ b/static/build.html
@@ -551,7 +551,7 @@ CN=GrapheneOS
 ../../development/tools/make_key sdk_sandbox "/CN=$CN/"
 ../../development/tools/make_key bluetooth "/CN=$CN/"
 openssl genrsa 4096 | openssl pkcs8 -topk8 -scrypt -out avb.pem
-../../external/avb/avbtool extract_public_key --key avb.pem --output avb_pkmd.bin
+../../external/avb/avbtool.py extract_public_key --key avb.pem --output avb_pkmd.bin
 cd ../..</pre>
 
                     <p>The <code>avb_pkmd.bin</code> file isn't needed for generating a signed release but