From 7e047b26284a7ebf884a5d91c944a248d7ef3eb0 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Tue, 19 May 2020 23:19:23 -0400
Subject: [PATCH] copy supported OSes to build page from install

---
 static/build.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/static/build.html b/static/build.html
index ac0fb112..1601c4fb 100644
--- a/static/build.html
+++ b/static/build.html
@@ -192,6 +192,9 @@
                 <a href="#build-dependencies">Build dependencies</a>
             </h2>
 
+            <p>Arch Linux, Debian buster and Ubuntu 20.04 LTS are the officially supported
+            operating systems for building GrapheneOS.</p>
+
             <p>Dependencies for fetching and verifying the sources:</p>
 
             <ul>