;make site: regenerate web manuals first
[ci skip]
This commit is contained in:
		
							parent
							
								
									9874d29953
								
							
						
					
					
						commit
						a1fbe0247a
					
				
							
								
								
									
										1
									
								
								Makefile
									
									
									
									
									
								
							
							
						
						
									
										1
									
								
								Makefile
									
									
									
									
									
								
							| @ -754,6 +754,7 @@ site: \ | |||||||
| 		&& echo 'Please run "make Shake" first (manual compilation of Shake.hs is required)' \
 | 		&& echo 'Please run "make Shake" first (manual compilation of Shake.hs is required)' \
 | ||||||
| 		|| ( \
 | 		|| ( \
 | ||||||
| 			echo; \
 | 			echo; \
 | ||||||
|  | 			./Shake -V webmanuals; \
 | ||||||
| 			make -C site html; \
 | 			make -C site html; \
 | ||||||
| 		) 2>&1 | tee -a site.log | 		) 2>&1 | tee -a site.log | ||||||
| 
 | 
 | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user