diff options
author | Eric Wong <e@80x24.org> | 2023-09-18 10:15:16 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-09-20 19:14:26 +0000 |
commit | 56a20a3e242cc0a4c1df0ab1c77b3cebf3e33aae (patch) | |
tree | 4dc436632f83d1204fe534cd29590d2eb8ce2032 /Documentation | |
parent | 79874c84bad7c0c720751bdcc1a8398a2e50f885 (diff) | |
download | public-inbox-56a20a3e242cc0a4c1df0ab1c77b3cebf3e33aae.tar.gz |
which(1) isn't in POSIX so it's perhaps less likely to be available (although I don't think I've noticed a system without it in decades). So replace it with the POSIX `command -v', even though everyone seems to use which... Add a note about `lexgrog', too, since I'm not sure if it's packaged for various *BSDs.
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index eb65454a..86851376 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -6,6 +6,8 @@ RSYNC = rsync RSYNC_DEST = public-inbox.org:/srv/public-inbox/ AWK = awk MAN = man + +# part of `man-db' on Debian, not sure about other distros LEXGROG = lexgrog # this is "xml" on FreeBSD and maybe some other distros: |