0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-07-14 22:20:30 +03:00
nixpkgs/nixos/lib/make-options-doc
Wolfgang Walther aec036a6cd
nixos/lib/make-options-doc: remove optionsDocBook
Follow through on #296384.

(cherry picked from commit de69ff528b)
2024-11-24 20:58:27 +01:00
..
default.nix nixos/lib/make-options-doc: remove optionsDocBook 2024-11-24 20:58:27 +01:00
mergeJSON.py nixos/doc: remove docbook options compatibility 2023-06-13 16:56:31 +02:00