Doc: add support for Eoan

tschoonj · Oct 23, 2019 · b5ea391 · b5ea391
1 parent aedbf89
commit b5ea391
Showing 1 changed file with 5 additions and 5 deletions.
diff --git 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`