From 439c71d4e6157fc8e4a6fb3d84c957357e6a33da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jannis=20Sch=C3=B6nleber?= <joennlae@gmail.com>
Date: Sat, 21 Oct 2023 11:30:40 +0200
Subject: [PATCH] docs: add install instructions for gcc and g++-13

---
 docs/install.md | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 docs/install.md

diff --git a/docs/install.md b/docs/install.md
new file mode 100644
index 0000000..6a85063
--- /dev/null
+++ b/docs/install.md
@@ -0,0 +1,6 @@
+## Install GCC-13 fast on Ubuntu 22.04
+
+We do an ugly trick by installing GCC-13 from Ubuntu 23.04 on Ubuntu 22.04. This is because Ubuntu 22.04 does not have GCC-13 in its repositories.
+https://packages.ubuntu.com/lunar/g++-13
+
+We do that by adding the correct repository to `/etc/apt/sources.list`.
\ No newline at end of file