1To build the manual, you need Nix installed on your system (no need
2for NixOS). To install Nix, follow the instructions at
3
4 https://nixos.org/nix/download.html
5
6When you have Nix on your system, in the root directory of the project
7(i.e., `nixpkgs`), run:
8
9 nix-build nixos/release.nix -A manual.x86_64-linux
10
11When this command successfully finishes, it will tell you where the
12manual got generated.