From fd059ca1a96daea9c41feff81bbe87b152fcd46a Mon Sep 17 00:00:00 2001
From: Thomas Bach <hacking@babibo.de>
Date: Sat, 9 Sep 2017 17:47:51 +0800
Subject: [PATCH] manual: `name' is not an argument for `mkOption'

(cherry picked from commit 572726a5704887fad24241a745d8bd4173c785f4)
---
 nixos/doc/manual/development/option-types.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/nixos/doc/manual/development/option-types.xml b/nixos/doc/manual/development/option-types.xml
index 441393c98276..b8e3ea774a71 100644
--- a/nixos/doc/manual/development/option-types.xml
+++ b/nixos/doc/manual/development/option-types.xml
@@ -175,7 +175,6 @@
 <example xml:id='ex-submodule-direct'><title>Directly defined submodule</title>
 <screen>
 options.mod = mkOption {
-  name = "mod";
   description = "submodule example";
   type = with types; listOf (submodule {
     options = {