From: Ondřej Surý <ondrej@isc.org>
Date: Mon, 5 Aug 2024 09:11:51 +0000 (+0000)
Subject: fix: dev: Pull the doc/misc/options{,.active} from the CI
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d420df5fa2023a466b9cb2217914e7d96b762306;p=thirdparty%2Fbind9.git

fix: dev: Pull the doc/misc/options{,.active} from the CI

The doc/misc/options{,.active} were built on system with different
configuration than we have in the CI, so the docs job just keeps
failing.  Pull the files from the CI, so they match what we have
in the CI images.

Merge branch 'ondrej/make-docs-job-happy-9.16' into 'bind-9.16'

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

d420df5fa2023a466b9cb2217914e7d96b762306