diff --git a/index.html b/index.html index 6e347c399..cf3bedfc5 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf?+
ca.desrt.dconf?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 0145e6982..b575a30b0 100644 --- a/options.html +++ b/options.html @@ -8613,10 +8613,12 @@ The options are }
Example:
{
- roots = [
- "/home/user/documents"
- "ssh://remote/documents"
- ];
+ "my-documents" = {
+ roots = [
+ "/home/user/documents"
+ "ssh://remote/documents"
+ ];
+ };
}
Declared by: