From 8816eccfbe6c9a1a046fd6db4ece45966e009307 Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Thu, 14 Nov 2019 06:41:14 +0000 Subject: doc: check-man: save the result of successful runs We can keep a stamp around if the corresponding manpage hasn't changed to avoid re-running man(1) and awk(1). --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') 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 -- cgit v1.2.3-24-ge0c7