gnome-user-docs: expand platforms to all

2021-03-22 15:33:49 +07:00
parent 575e853bd9
commit ea39c3ddab
1 changed files with 1 additions and 1 deletions
@@ -36,6 +36,6 @@ stdenv.mkDerivation rec {
    homepage = "https://help.gnome.org/users/gnome-help/";
    license = licenses.cc-by-30;
    maintainers = teams.gnome.members;
-    platforms = platforms.linux;
+    platforms = platforms.all;
  };
 }