diff options
author | Eric Wong <e@80x24.org> | 2019-11-14 06:41:14 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-11-15 01:09:15 +0000 |
commit | 8816eccfbe6c9a1a046fd6db4ece45966e009307 (patch) | |
tree | 8023cdfbac79e5eea4b98e72e176fb65566760ee /.gitignore | |
parent | d571f8a98ae32fa8c5aae31a9fcdddcec7242a8a (diff) | |
download | public-inbox-8816eccfbe6c9a1a046fd6db4ece45966e009307.tar.gz |
We can keep a stamp around if the corresponding manpage hasn't changed to avoid re-running man(1) and awk(1).
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,6 +12,7 @@ *.8 *.html *.gz +.*.cols /NEWS.html /NEWS.atom /NEWS |