Shake.hs, tools/pandoc-drop-notes: remove unused filter
This commit is contained in:
		
							parent
							
								
									fbc9c63c62
								
							
						
					
					
						commit
						95c9af5664
					
				
							
								
								
									
										2
									
								
								Shake.hs
									
									
									
									
									
								
							
							
						
						
									
										2
									
								
								Shake.hs
									
									
									
									
									
								
							| @ -207,7 +207,6 @@ main = do | ||||
|         "--lua-filter tools/pandoc-drop-html-blocks.lua" | ||||
|         "--lua-filter tools/pandoc-drop-html-inlines.lua" | ||||
|         "--lua-filter tools/pandoc-drop-links.lua" | ||||
|         "--lua-filter tools/pandoc-drop-notes.lua" | ||||
|         "-o" out | ||||
| 
 | ||||
|     -- render man page nroffs to fixed-width text for embedding in executables, with nroff | ||||
| @ -235,7 +234,6 @@ main = do | ||||
|         "--lua-filter tools/pandoc-drop-html-blocks.lua" | ||||
|         "--lua-filter tools/pandoc-drop-html-inlines.lua" | ||||
|         "--lua-filter tools/pandoc-drop-links.lua" | ||||
|         "--lua-filter tools/pandoc-drop-notes.lua" | ||||
|         "-t texinfo |" | ||||
|         makeinfo "--force --no-split -o" out | ||||
| 
 | ||||
|  | ||||
| @ -1,3 +0,0 @@ | ||||
| function Note(nt) | ||||
|     return pandoc.Str("") | ||||
| end | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user