diff options
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: |