Make htmldocs separately
It calls `scripts/jobserver-exec`, which grabs as many jobserver tokens as it can in order to calculate a `PARALLELISM` value to provide to the command. Unfortunately, Sphinx grossly underutilizes the parallelism it gets so slows down the build overall by denying tokens to other jobs.
This commit is contained in:
		
							parent
							
								
									61f3316308
								
							
						
					
					
						commit
						bc9b47bd75