]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: d571f8a) | patch
doc: check-man: save the result of successful runs
authorEric Wong <e@80x24.org>
Thu, 14 Nov 2019 06:41:14 +0000 (06:41 +0000)
committerEric Wong <e@80x24.org>
Fri, 15 Nov 2019 01:09:15 +0000 (01:09 +0000)
commit8816eccfbe6c9a1a046fd6db4ece45966e009307
tree8023cdfbac79e5eea4b98e72e176fb65566760eetree
parentd571f8a98ae32fa8c5aae31a9fcdddcec7242a8acommit | diff
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 diff | blob | history
Documentation/include.mk diff | blob | history
My patches to https://public-inbox.org/public-inbox.git