From c29ad9a9b3adc38bc535b777f829335db7c66be2 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 9 Nov 2021 09:37:19 +0100
Subject: [PATCH] doc: ubuntu: specify fewer versions that will become outdated
 anyway

---
 doc/SUMMARY.md                          | 2 +-
 doc/dev/index.md                        | 2 +-
 doc/make/index.md                       | 2 +-
 doc/make/{ubuntu-16.04.md => ubuntu.md} | 4 ++--
 doc/make/wsl.md                         | 4 ++--
 5 files changed, 7 insertions(+), 7 deletions(-)
 rename doc/make/{ubuntu-16.04.md => ubuntu.md} (64%)

diff --git a/doc/SUMMARY.md b/doc/SUMMARY.md
index 5e0f22ae7a..a3772d74ab 100644
--- a/doc/SUMMARY.md
+++ b/doc/SUMMARY.md
@@ -58,7 +58,7 @@
 - [Development Guide](./dev/index.md)
 - [Commit Convention](./dev/commit_convention.md)
 - [Building Lean](./make/index.md)
-  - [Ubuntu Setup](./make/ubuntu-16.04.md)
+  - [Ubuntu Setup](./make/ubuntu.md)
   - [macOS Setup](./make/osx-10.9.md)
   - [Windows MSYS2 Setup](./make/msys2.md)
   - [Windows with WSL](./make/wsl.md)
diff --git a/doc/dev/index.md b/doc/dev/index.md
index 0496704149..8a856088c9 100644
--- a/doc/dev/index.md
+++ b/doc/dev/index.md
@@ -1,7 +1,7 @@
 # Development Workflow
 - [Commit Convention](./commit_convention.md)
 - [Building Lean](../make/index.md)
-  - [Ubuntu Setup](../make/ubuntu-16.04.md)
+  - [Ubuntu Setup](../make/ubuntu.md)
   - [macOS Setup](../make/osx-10.9.md)
   - [Windows MSYS2 Setup](../make/msys2.md)
   - [Windows with WSL](../make/wsl.md)
diff --git a/doc/make/index.md b/doc/make/index.md
index e1e47f89e2..2976370a54 100644
--- a/doc/make/index.md
+++ b/doc/make/index.md
@@ -8,7 +8,7 @@ Requirements
 Platform-Specific Setup
 -----------------------
 
-- [Linux (Ubuntu)](ubuntu-16.04.md)
+- [Linux (Ubuntu)](ubuntu.md)
 - [Windows (msys2)](msys2.md)
 - [Windows (Visual Studio)](msvc.md)
 - [Windows (WSL)](wsl.md)
diff --git a/doc/make/ubuntu-16.04.md b/doc/make/ubuntu.md
similarity index 64%
rename from doc/make/ubuntu-16.04.md
rename to doc/make/ubuntu.md
index 089e910927..15a19145f4 100644
--- a/doc/make/ubuntu-16.04.md
+++ b/doc/make/ubuntu.md
@@ -1,4 +1,4 @@
-# Installing Lean on Ubuntu 16.04
+# Installing Lean on Ubuntu
 
 ## Build Dependencies
 
@@ -8,5 +8,5 @@ follow the [generic build instructions](index.md).
 ## Basic packages
 
 ```bash
-sudo apt-get install git libgmp-dev cmake ccache gcc-10 g++-10
+sudo apt-get install git libgmp-dev cmake ccache clang
 ```
diff --git a/doc/make/wsl.md b/doc/make/wsl.md
index 76669b60a2..1e34a72fb9 100644
--- a/doc/make/wsl.md
+++ b/doc/make/wsl.md
@@ -8,7 +8,7 @@ As an alternative to the [MSYS2](msys2.md) setup you can also use the
 debug using [Visual Studio Code][vscode] in Windows.
 
 For the most part setup in WSL is the same as
-[Ubuntu](Ubuntu-16.04.md). This document provides additional
+[Ubuntu](ubuntu.md). This document provides additional
 information on how to setup Windows Visual Studio Code remote
 debugging into your WSL environment using the lean extension running
 in WSL.
@@ -51,4 +51,4 @@ this setting is set as follows:
 ```
 
 This will result in a logs folder being created inside your lean
-package folder in the WSL file system.
\ No newline at end of file
+package folder in the WSL file system.