diff --git a/doc/arm/Bv9ARM-book.xml b/doc/arm/Bv9ARM-book.xml
index cb6fb5ac86..d0a658e460 100644
--- a/doc/arm/Bv9ARM-book.xml
+++ b/doc/arm/Bv9ARM-book.xml
@@ -4309,6 +4309,7 @@ badresp:1,adberr:0,findfail:0,valfail:0]
[ maintain-ixfr-base yes_or_no ; ]
[ ixfr-from-differences ( yes_or_no | | ) ; ]
[ auto-dnssec ( | | ) ; ]
+ [ inline-signing yes_or_no ; ]
[ dnssec-enable yes_or_no ; ]
[ dnssec-validation ( yes_or_no | ) ; ]
[ dnssec-lookaside ( | | domain trust-anchor domain ) ; ]
@@ -4548,6 +4549,7 @@ badresp:1,adberr:0,findfail:0,valfail:0]
...
} ; ]
[ v6-bias number ; ]
+ [ trust-anchor-telemetry yes_or_no ; ]
} ; ]
diff --git a/doc/misc/docbook-options.pl b/doc/misc/docbook-options.pl
index 4d7a096a22..9b78fd5ea4 100644
--- a/doc/misc/docbook-options.pl
+++ b/doc/misc/docbook-options.pl
@@ -22,9 +22,9 @@ my $FILE = shift;
my $DATE;
if (@ARGV >= 2) {
- $DATE = shift
+ $DATE = shift
} else {
- $DATE = `git log --max-count=1 --date=short --format='%cd' $FILE` or die "unable to determine last modification date of '$FILE'; specify on command line\nexiting";
+ $DATE = `git log --max-count=1 --date=short --format='%cd' $FILE` or die "unable to determine last modification date of '$FILE'; specify on command line\nexiting";
}
chomp $DATE;
@@ -115,15 +115,17 @@ while () {
}
}
+my $blank = 0;
while () {
- if (m{// not.*implemented} || m{// obsolete}) {
- next;
- }
+ if (m{// not.*implemented} || m{// obsolete} || m{// test.*only}) {
+ next;
+ }
+
s{ // not configured}{};
s{ // may occur multiple times}{};
s{<([a-z0-9_-]+)>}{$1}g;
- s{[[]}{}g;
- s{[]]}{}g;
+ s{[[]}{[}g;
+ s{[]]}{]}g;
s{ }{\t}g;
if (m{^([a-z0-9-]+) }) {
my $HEADING = uc $1;
@@ -133,11 +135,15 @@ while () {
END
}
- if (m{^\s*$}) {
+
+ if (m{^\s*$} && !$blank) {
+ $blank = 1;
print <
END
+ } else {
+ $blank = 0;
}
print;
}