;Shake clean/Clean: update, fix dangerous over-cleaning in site/
[ci skip]
This commit is contained in:
		
							parent
							
								
									68c770af06
								
							
						
					
					
						commit
						2bbc9b76e5
					
				
							
								
								
									
										15
									
								
								Shake.hs
									
									
									
									
									
								
							
							
						
						
									
										15
									
								
								Shake.hs
									
									
									
									
									
								
							| @ -662,21 +662,12 @@ main = do | |||||||
|     -- Cleanup. |     -- Cleanup. | ||||||
| 
 | 
 | ||||||
|     phony "clean" $ do |     phony "clean" $ do | ||||||
|       -- putNormal "Cleaning generated help texts, manuals, staged site content" |       putNormal "Cleaning object files in tools" | ||||||
|       -- removeFilesAfter "." commandtxts |       removeFilesAfter "tools"  ["*.o","*.p_o","*.hi"] | ||||||
|       putNormal "Cleaning generated manuals, staged site content" |  | ||||||
|       removeFilesAfter "." webmanuals |  | ||||||
|       removeFilesAfter "." [ |  | ||||||
|         -- "site/README.md", |  | ||||||
|         -- "site/CONTRIBUTING.md" |  | ||||||
|         ] |  | ||||||
| 
 | 
 | ||||||
|     phony "Clean" $ do |     phony "Clean" $ do | ||||||
|       need ["clean"] |       need ["clean"] | ||||||
|       putNormal "Cleaning generated site content, object files, shake build cache" |       putNormal "Cleaning shake build cache" | ||||||
|       removeFilesAfter "site" ["_*"] |  | ||||||
|       removeFilesAfter "tools"  ["*.o","*.p_o","*.hi"] |  | ||||||
|       removeFilesAfter "site" ["*.o","*.p_o","*.hi"] |  | ||||||
|       removeFilesAfter ".shake" ["//*"] |       removeFilesAfter ".shake" ["//*"] | ||||||
| 
 | 
 | ||||||
| 
 | 
 | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user