diff --git a/doc/devel/bison.dox b/doc/devel/bison.dox
index 43f17b539c..4a2231984c 100644
--- a/doc/devel/bison.dox
+++ b/doc/devel/bison.dox
@@ -434,6 +434,7 @@ Here's the complete set of changes that were necessary.
                 | reservation_mode
                 | relay
                 | match_client_id
+                | authoritative
                 | next_server
                 | subnet_4o6_interface
                 | subnet_4o6_interface_id (*)