mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-23 22:23:15 +00:00
bce3c80f90
Replace `option.html` with `options.html`, which is the actual filename. |
||
---|---|---|
.. | ||
administration | ||
configuration | ||
development | ||
installation | ||
release-notes | ||
common.nix | ||
contributing-to-this-manual.chapter.md | ||
default.nix | ||
manual.md | ||
nixos-options.md | ||
preface.md | ||
README.md | ||
redirects.json | ||
shell.nix |