From: Ondřej Surý <ondrej@isc.org>
Date: Mon, 22 Jun 2020 11:44:39 +0000 (+0000)
Subject: Merge branch '1898-doc/misc/options-should-be-independent-on-configure' into 'main'
X-Git-Tag: v9.17.3~46
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e4afd31e969f88ab6d1fb1316e62309cdca075f;p=thirdparty%2Fbind9.git

Merge branch '1898-doc/misc/options-should-be-independent-on-configure' into 'main'

Remove // not configured when generating doc/misc/options

Closes #1898

See merge request isc-projects/bind9!3731
---

8e4afd31e969f88ab6d1fb1316e62309cdca075f