diff --git a/docs/extra_pages.dox b/docs/extra_pages.dox
index 38b7b2c..dcecad2 100644
--- a/docs/extra_pages.dox
+++ b/docs/extra_pages.dox
@@ -98,16 +98,16 @@
  *       deb [arch=amd64] http://xmi-apt.tomschoonjans.eu/ubuntu bionic stable
  *       deb-src http://xmi-apt.tomschoonjans.eu/ubuntu bionic stable
  *
- * Ubuntu Cosmic 18.10:
- *
- *       deb [arch=amd64] http://xmi-apt.tomschoonjans.eu/ubuntu cosmic stable
- *       deb-src http://xmi-apt.tomschoonjans.eu/ubuntu cosmic stable
- *
  * Ubuntu Disco 19.04:
  *
  *       deb [arch=amd64] http://xmi-apt.tomschoonjans.eu/ubuntu disco stable
  *       deb-src http://xmi-apt.tomschoonjans.eu/ubuntu disco stable
  *
+ * Ubuntu Eoan 19.10:
+ *
+ *       deb [arch=amd64] http://xmi-apt.tomschoonjans.eu/ubuntu eoan stable
+ *       deb-src http://xmi-apt.tomschoonjans.eu/ubuntu eoan stable
+ *
  * When the sources.list file contains the correct download locations, update the apt cache by running:
  *
  * > `sudo apt-get update`