about summary refs log tree commit homepage
path: root/.gitignore
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2019-11-14 06:41:14 +0000
committerEric Wong <e@80x24.org>2019-11-15 01:09:15 +0000
commit8816eccfbe6c9a1a046fd6db4ece45966e009307 (patch)
tree8023cdfbac79e5eea4b98e72e176fb65566760ee /.gitignore
parentd571f8a98ae32fa8c5aae31a9fcdddcec7242a8a (diff)
downloadpublic-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--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 66f165e2..167d08bf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@
 *.8
 *.html
 *.gz
+.*.cols
 /NEWS.html
 /NEWS.atom
 /NEWS