Add Linux mint (#532)

docs/distributions/debian/installation.md

@@ -4,12 +4,11 @@ This guide shall help you in installing a Debian or Ubuntu based Linux distro, w
 
 Some popular distros include:
 
-1. [Linux Mint](https://linuxmint.com/)
-2. [Pop!_OS](https://pop.system76.com/)
-3. [elementary OS](https://elementary.io/)
-4. [Debian](https://www.debian.org/)
-5. [Zorin OS](https://zorin.com/)
-6. Other Ubuntu flavours like [Ubuntu unity](https://ubuntuunity.org/) etc.
+1. [Pop!_OS](https://pop.system76.com/)
+2. [elementary OS](https://elementary.io/)
+3. [Debian](https://www.debian.org/)
+4. [Zorin OS](https://zorin.com/)
+5. Other Ubuntu flavours like [Ubuntu unity](https://ubuntuunity.org/) etc.
 
 # Hardware Requirements
 

docs/distributions/ubuntu/installation.md

@@ -3,7 +3,10 @@
 !!! Warning "Blank screen on boot"
     **Ubuntu's GRUB** is not booting using the Mac Startup Manager for many users. Thus affected users are advised to [install the rEFInd Boot Manager](https://wiki.t2linux.org/guides/refind/) and boot the kernel using it instead of the Startup Manager.
 
-[Download here](https://github.com/t2linux/T2-Ubuntu/releases/latest)
+Download Links:
+
+[Ubuntu and Kubuntu](https://github.com/t2linux/T2-Ubuntu/releases/latest)
+[Linux Mint](https://github.com/t2linux/T2-Mint/releases/latest)
 
 # Hardware Requirements
 

docs/guides/preinstall.md

@@ -36,6 +36,7 @@ Listed below are the currently available installer ISOs for download:
 | Manjaro            | <https://github.com/NoaHimesaka1873/manjaroiso-t2/releases/latest> |
 | NixOS              | <https://github.com/t2linux/nixos-t2-iso> |
 | Ubuntu & Kubuntu   | <https://github.com/t2linux/T2-Ubuntu/releases/latest> |
+| Linux Mint         | <https://github.com/t2linux/T2-Mint/releases/latest> |
 
 #### Other distributions
 

mkdocs.yml

@@ -85,11 +85,11 @@ nav:
                 - Home: distributions/nixos/home.md
                 - FAQ: distributions/nixos/faq.md
                 - Installation: distributions/nixos/installation.md
-          - Ubuntu:
+          - Ubuntu and Linux Mint:
                 - Home: distributions/ubuntu/home.md
                 - FAQ: distributions/ubuntu/faq.md
                 - Installation: distributions/ubuntu/installation.md
-          - Debian, Linux Mint, Pop!_OS and other similar distros:
+          - Debian, Pop!_OS and other similar distros:
                 - Installation: distributions/debian/installation.md
 
 extra_css: