
This reverts commit 18f953965598ab585cc4b3f9018463905401bdd9. (cherry picked from commit 02bb97e5bb30cdbd9097c5efcf0560b8188b2940)
To build the manual, you need Nix installed on your system (no need for NixOS). To install Nix, follow the instructions at https://nixos.org/nix/download.html When you have Nix on your system, in the root directory of the project (i.e., `nixpkgs`), run: nix-build nixos/release.nix -A manual.x86_64-linux When this command successfully finishes, it will tell you where the manual got generated.