| 
									
										
										
										
											2014-07-21 17:24:10 +02:00
										 |  |  | To build the manual, you need Nix installed on your system (no need | 
					
						
							| 
									
										
										
										
											2014-07-23 15:00:25 +02:00
										 |  |  | for NixOS). To install Nix, follow the instructions at | 
					
						
							| 
									
										
										
										
											2014-07-21 17:24:10 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  |     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 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-07-23 15:00:25 +02:00
										 |  |  | When this command successfully finishes, it will tell you where the | 
					
						
							|  |  |  | manual got generated. |