tools: fix gitignore of generated manuals
This commit is contained in:
		
							parent
							
								
									d4654d46af
								
							
						
					
					
						commit
						00a22792ff
					
				
							
								
								
									
										5
									
								
								.gitignore
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										5
									
								
								.gitignore
									
									
									
									
										vendored
									
									
								
							| @ -28,8 +28,9 @@ tttt.* | |||||||
| ttttt.* | ttttt.* | ||||||
| profs/* | profs/* | ||||||
| test.hs | test.hs | ||||||
| */doc/*.[0-9].md | */doc/*.[0-9] | ||||||
| */doc/*.info | */doc/*.[0-9].txt | ||||||
|  | */doc/*.[0-9].info | ||||||
| dist-newstyle/ | dist-newstyle/ | ||||||
| cabal.project.local | cabal.project.local | ||||||
| *~ | *~ | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user