Doc: add support for RHEL8

tschoonj · Oct 4, 2019 · aedbf89 · aedbf89
1 parent 4c718f4
commit aedbf89
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/extra_pages.dox b/docs/extra_pages.dox
@@ -51,6 +51,10 @@
  *
  * > `sudo rpm -Uvh http://lvserver.ugent.be/yum/xmi-repo-key-7.0-1.el7.noarch.rpm`
  *
+ * and for Red Hat EL 8 based distributions:
+ *
+ * > `sudo rpm -Uvh http://lvserver.ugent.be/yum/xmi-repo-key-8.0-1.el8.noarch.rpm`
+ *
  * The easyRNG packages themselves can then be downloaded using yum (or \c dnf which is increasingly being used nowadays):
  *
  * > `sudo yum install easyRNG easyRNG-devel easyRNG-doc`