regen v9_10

diff --git a/doc/misc/options b/doc/misc/options
index 5a6e6e88f82b16593fefafb72b306919df5f87d9..aa3a00bd62a2fc1600e2ed50e85b2c7f032747cf 100644 (file)
--- a/doc/misc/options
+++ b/doc/misc/options
@@ -366,7 +366,6 @@ view <string> <optional_class> {
         check-wildcard <boolean>;
         cleaning-interval <integer>;
         clients-per-query <integer>;
-        database <string>;
         deny-answer-addresses { <address_match_element>; ... } [
             except-from { <quoted_string>; ... } ];
         deny-answer-aliases { <quoted_string>; ... } [ except-from {
@@ -497,7 +496,6 @@ view <string> <optional_class> {
         root-delegation-only [ exclude { <quoted_string>; ... } ];
         rrset-order { [ class <string> ] [ type <string> ] [ name
             <quoted_string> ] <string> <string>; ... };
-        search <boolean>;
         serial-update-method ( increment | unixtime );
         server <netprefix> {
                 bogus <boolean>;