 cc25628212
			
		
	
	
		cc25628212
		
	
	
	
	
		
			
			(cherry picked from commit 216c840ca8c7a3a0e71244be3b739dafa32a0709) Signed-off-by: Domen Kožar <domen@dev.si>
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.