10ef8c6 maint: Ignore all intermediate and generated man pages

Authored and Committed by Andrea Bolognani 7 years ago
1 file changed. 2 lines added. 7 lines removed.
    maint: Ignore all intermediate and generated man pages
    
    Since commit 9b77ce63f1d7 we create a .in file while building all
    man pages, including those in the tools/ directory; update the
    ignore patterns to take this change into account.
    
    The new ignore patterns are generic enough that we can get rid of
    a few existing ones as well.
    
        
file modified
+2 -7