change pool: to "pool": in examples

(wlodek told me)

diff --git a/doc/guide/dhcp6-srv.xml b/doc/guide/dhcp6-srv.xml
index bd4443c7f74a63b89dab4577cdf6394ac3a65249..7a1121547989c77d10e42ca94620fc43c753f94a 100644 (file)
--- a/doc/guide/dhcp6-srv.xml
+++ b/doc/guide/dhcp6-srv.xml
@@ -444,7 +444,7 @@ temporarily override a list of interface names and listen on all interfaces.
            "subnet": "2001:db8:1::/64",
            "pools": [
                {
-                   pool: "2001:db8:1::1-2001:db8:1::ffff"
+                   "pool": "2001:db8:1::1-2001:db8:1::ffff"
                }
            ],
            ...
@@ -476,8 +476,8 @@ temporarily override a list of interface names and listen on all interfaces.
     {
         "subnet": "2001:db8:1::/64",
         "pools": [
-            { pool: "2001:db8:1::1-2001:db8:1::ffff" },
-            { pool: "2001:db8:1:05::/80" }
+            { "pool": "2001:db8:1::1-2001:db8:1::ffff" },
+            { "pool": "2001:db8:1:05::/80" }
         ]</userinput>,
         ...
     }
@@ -495,13 +495,13 @@ temporarily override a list of interface names and listen on all interfaces.
     {
         "subnet": "2001:db8:1::/64",
         "pools": [
-            { pool: "2001:db8:1::1-2001:db8:1::ffff" }
+            { "pool": "2001:db8:1::1-2001:db8:1::ffff" }
         ]
     },
     {
         "subnet": "2001:db8:2::/64",
         "pools": [
-            { pool: "2001:db8:2::/64" }
+            { "pool": "2001:db8:2::/64" }
         ]
     },
 </userinput>