diff options
author | Eric Wong <e@80x24.org> | 2019-11-29 10:14:12 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-12-11 08:10:31 +0000 |
commit | 7c64c5b3f0535e58506a3157e3bd645996dc154f (patch) | |
tree | 08dce2255f494abce03b880e7dfbff92947caaa5 | |
parent | 93e56f66355e62f30cbc94b2e32e94c55849c878 (diff) | |
download | public-inbox-7c64c5b3f0535e58506a3157e3bd645996dc154f.tar.gz |
We can create a stamp to avoid rerunning the check unless NEWS.atom changes (and it will, soon, I hope :>).
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Documentation/include.mk | 5 |
2 files changed, 4 insertions, 2 deletions
@@ -15,6 +15,7 @@ *.html *.gz .*.cols +.*.check /NEWS.html /NEWS.atom /NEWS diff --git a/Documentation/include.mk b/Documentation/include.mk index 651fdf30..624f07f4 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -134,11 +134,12 @@ NEWS NEWS.atom NEWS.html : Documentation/include.mk $(PERL) -I lib -w Documentation/mknews.perl $@ $(RELEASES) # check for internal API changes: -check :: NEWS check-NEWS.atom NEWS.html +check :: NEWS .NEWS.atom.check NEWS.html -check-NEWS.atom: NEWS.atom +.NEWS.atom.check: NEWS.atom $(XMLSTARLET) val NEWS.atom || \ { e=$$?; test $$e -eq 0 || test $$e -eq 127; } + >$@ Documentation/%.html: Documentation/%.txt $(txt2pre) |