diff options
| author | Eric Wong <e@80x24.org> | 2019-10-15 21:12:27 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-10-16 00:27:02 +0000 |
| commit | 5081770c21893e2e0210a0dfa4bc9372f9428c86 (patch) | |
| tree | 457657c9e718f757ad90ccc22133647ac430597a | |
| parent | a0ff3e44454322dd35c76a58fba311297ee00218 (diff) | |
| download | public-inbox-5081770c21893e2e0210a0dfa4bc9372f9428c86.tar.gz | |
We should also note that the package "xmlstarlet" on FreeBSD installs a command "xml" (but not "xmlstarlet") on FreeBSD.
| -rw-r--r-- | Documentation/include.mk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index 9fd85210..45e08573 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -8,7 +8,10 @@ all:: # Maybe it's not worth it to support non-GNU make, though... RSYNC = rsync RSYNC_DEST = public-inbox.org:/srv/public-inbox/ +AWK = awk MAN = man + +# this is "xml" on FreeBSD and maybe some other distros: XMLSTARLET = xmlstarlet # same as pod2text @@ -116,7 +119,8 @@ NEWS NEWS.atom NEWS.html : check :: NEWS check-NEWS.atom NEWS.html check-NEWS.atom: NEWS.atom - $(XMLSTARLET) val $<; e=$$?; test $$e -eq 0 || test $$e -eq 127 + $(XMLSTARLET) val NEWS.atom || \ + { e=$$?; test $$e -eq 0 || test $$e -eq 127; } Documentation/%.html: Documentation/%.txt $(txt2pre) |