diff --git a/index.html b/index.html index 329a2244..45a20372 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
or dconf.service
?+
ca.desrt.dconf
or dconf.service
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 7b61ef60..9bfcac50 100644 --- a/options.html +++ b/options.html @@ -774,7 +774,7 @@ is assumed to already be available in your profile.
gtk.iconTheme.package
Package providing the icon theme. This package will be installed
to your profile. If null
then the theme
is assumed to already be available in your profile.
-
Type: null or package
Default: null
Example: pkgs.adwaita-icon-theme
Declared by: