diff options
author | Eric Wong <e@80x24.org> | 2016-04-27 23:14:38 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2016-04-27 23:14:38 +0000 |
commit | 8317f27e2c99fd5dea393183948b373bd0df1fc0 (patch) | |
tree | 601fdb08a49631edd3457e4351d155a3ebf1d222 /Documentation | |
parent | e631b6bd914d8fb6826f1d8f8352785e53961048 (diff) | |
download | public-inbox-8317f27e2c99fd5dea393183948b373bd0df1fc0.tar.gz |
This is probably trivial enough to be final?
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index 4669ac54..94278870 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -6,7 +6,7 @@ RSYNC = rsync RSYNC_DEST = public-inbox.org:/srv/public-inbox/ docs := README COPYING INSTALL TODO $(shell git ls-files 'Documentation/*.txt') INSTALL = install -POD2MAN = pod2man +POD2MAN ?= pod2man POD2MAN_OPTS = -v --stderr -d 1994-10-02 -c 'public-inbox user manual' pod2man = $(POD2MAN) $(POD2MAN_OPTS) POD2TEXT = pod2text |