regen master

diff --git a/doc/misc/options b/doc/misc/options
index 70e4a06a3faa66fd2efeb785ee4ec332cbd70f1d..6f4d1d7b48984c3a60e6ba0a7a3ff5e980509832 100644 (file)
--- a/doc/misc/options
+++ b/doc/misc/options
@@ -373,7 +373,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 {
@@ -508,7 +507,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 | date );
         server <netprefix> {
                 bogus <boolean>;