Skip to content

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

Ondřej Surý requested to merge ondrej/make-docs-job-happy-9.16 into bind-9.16

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.

Edited by Ondřej Surý

Merge request reports