pennae 02aff756c3 nixos/doc: remove optionsDocBook ...

these were deprecated in 23.11 and slated for removal in 24.05. 24.05 is
soon enough, so we should probably make good on this promise.

2024-03-28 17:21:37 +01:00

..

default.nix

nixos/doc: remove optionsDocBook

2024-03-28 17:21:37 +01:00

mergeJSON.py

nixos/doc: remove docbook options compatibility

2023-06-13 16:56:31 +02:00