diff --git a/index.html b/index.html index f4e2fff98..f42b6cd7d 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 c49d88226..1e90a2f57 100644
--- a/options.html
+++ b/options.html
@@ -5641,7 +5641,6 @@ and plugins.
This option is mutually exclusive with configure.
Type: strings concatenated with "\n"
Default: ""
Example:
'' -set nocompatible set nobackup ''
Declared by: