doc: index install Rocky Linux

UPC · Jul 3, 2023 · 87ceed2 · 87ceed2
1 parent 3330cb1
commit 87ceed2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/index.rst b/docs/index.rst
@@ -60,6 +60,7 @@ Do you feel like giving us a hand? Here you have all the information you need as
    docs/INSTALL_Ubuntu
    docs/INSTALL_Debian
    docs/INSTALL_Fedora
+   docs/INSTALL_Rocky9
    docs/INSTALL_ubuntu_xenial.rst
    docs/INSTALLfromDockers.rst
    docs/production