diff --git a/docs/precompiled.rst b/docs/precompiled.rst index 399f5716a33..9e3cb20e85b 100644 --- a/docs/precompiled.rst +++ b/docs/precompiled.rst @@ -10,5 +10,6 @@ There are some general directions: - Debian/Ubuntu based distros - PPA: xorg-edgers, oibaf and padoka - Fedora - Corp: erp and che +- Fedora - Copr: erp and che - OpenSuse/SLES - OBS: X11:XOrg and pontostroy:X11 - Gentoo/Archlinux - officially provided/supported