The new version of the document has syntactic fixes that render pipes in code blocks in tables correctly across dialects. Fixes #44
		
			
				
	
	
		
			54 lines
		
	
	
	
		
			1.7 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			54 lines
		
	
	
	
		
			1.7 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
| # Copyright 2019 Google LLC
 | |
| #
 | |
| # Licensed under the Apache License, Version 2.0 (the "License");
 | |
| # you may not use this file except in compliance with the License.
 | |
| # You may obtain a copy of the License at
 | |
| #
 | |
| #     https://www.apache.org/licenses/LICENSE-2.0
 | |
| #
 | |
| # Unless required by applicable law or agreed to in writing, software
 | |
| # distributed under the License is distributed on an "AS IS" BASIS,
 | |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 | |
| # See the License for the specific language governing permissions and
 | |
| # limitations under the License.
 | |
| 
 | |
| # Builds the documentation page using the Rust project's 'mdBook'
 | |
| # tool.
 | |
| #
 | |
| # Some of the documentation is pulled in and included from other
 | |
| # sources.
 | |
| 
 | |
| { fetchFromGitHub, mdbook, runCommand, rustPlatform }:
 | |
| 
 | |
| let
 | |
|   # nixpkgs currently has an old version of mdBook. A new version is
 | |
|   # built here, but eventually the update will be upstreamed
 | |
|   # (nixpkgs#65890)
 | |
|   mdbook = rustPlatform.buildRustPackage rec {
 | |
|     name = "mdbook-${version}";
 | |
|     version = "0.3.1";
 | |
|     doCheck = false;
 | |
| 
 | |
|     src = fetchFromGitHub {
 | |
|       owner = "rust-lang-nursery";
 | |
|       repo = "mdBook";
 | |
|       rev = "v${version}";
 | |
|       sha256 = "0py69267jbs6b7zw191hcs011cm1v58jz8mglqx3ajkffdfl3ghw";
 | |
|     };
 | |
| 
 | |
|     cargoSha256 = "0qwhc42a86jpvjcaysmfcw8kmwa150lmz01flmlg74g6qnimff5m";
 | |
|   };
 | |
| 
 | |
|   nix-1p = fetchFromGitHub {
 | |
|     owner = "tazjin";
 | |
|     repo = "nix-1p";
 | |
|     rev = "e0a051a016b9118bea90ec293d6cd346b9707e77";
 | |
|     sha256 = "0d1lfkxg03lki8dc3229g1cgqiq3nfrqgrknw99p6w0zk1pjd4dj";
 | |
|   };
 | |
| in runCommand "nixery-book" { } ''
 | |
|   mkdir -p $out
 | |
|   cp -r ${./.}/* .
 | |
|   chmod -R a+w src
 | |
|   cp ${nix-1p}/README.md src/nix-1p.md
 | |
|   ${mdbook}/bin/mdbook build -d $out
 | |
| ''
 |