;site: fix generation of cookbook pages
[ci skip]
This commit is contained in:
		
							parent
							
								
									ece3d67ebf
								
							
						
					
					
						commit
						b9b420290c
					
				
							
								
								
									
										15
									
								
								Shake.hs
									
									
									
									
									
								
							
							
						
						
									
										15
									
								
								Shake.hs
									
									
									
									
									
								
							| @ -125,6 +125,9 @@ main = do | |||||||
|     <$> S.getDirectoryContents commandsdir |     <$> S.getDirectoryContents commandsdir | ||||||
|   let commandtxts = map (-<.> "txt") commandmds |   let commandtxts = map (-<.> "txt") commandmds | ||||||
| 
 | 
 | ||||||
|  |   let sitedir = "site" | ||||||
|  |   pages <- map takeBaseName . filter (".md" `isSuffixOf`) <$> S.getDirectoryContents sitedir | ||||||
|  | 
 | ||||||
|   shakeArgs |   shakeArgs | ||||||
|     shakeOptions |     shakeOptions | ||||||
|       { |       { | ||||||
| @ -213,17 +216,7 @@ main = do | |||||||
|         [ v </> "manual"           | v <- docversions, v <"1.0" ]  -- before 1.0 there was only the combined manual |         [ v </> "manual"           | v <- docversions, v <"1.0" ]  -- before 1.0 there was only the combined manual | ||||||
| 
 | 
 | ||||||
|       -- the html for website pages kept in the main repo |       -- the html for website pages kept in the main repo | ||||||
|       mainpageshtml = map (normalise . ("site/_site" </>) . (<.> "html")) [ |       mainpageshtml = map (normalise . ("site/_site" </>) . (<.> "html")) pages | ||||||
|         -- from site/*.md |  | ||||||
|          "contributors" |  | ||||||
|         ,"download" |  | ||||||
|         ,"ledgertips" |  | ||||||
|         ,"index" |  | ||||||
|         ,"intro" |  | ||||||
|         ,"release-notes" |  | ||||||
|         ,"README" |  | ||||||
|         ,"CONTRIBUTING" |  | ||||||
|         ] |  | ||||||
| 
 | 
 | ||||||
|       -- TODO: make website URIs lower-case ? |       -- TODO: make website URIs lower-case ? | ||||||
| 
 | 
 | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user