pop3: reduce memory use while generating the mailbox cache

[public-inbox.git] / Documentation / include.mk

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 149f9e3ce42e4a40ce66426d187ae7321c606079..bfbc495f0470cff4e88131f596e494f7335d21c6 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -14,17 +14,13 @@ XMLSTARLET = xmlstarlet
 # libgraph-easy-perl from Debian, Graph::Easy from CPAN
 GRAPH_EASY = graph-easy
 
-# same as pod2text
-COLUMNS = 76
-
 INSTALL = install
 PODMAN = pod2man
 PODMAN_OPTS = -v --stderr -d 1993-10-02 -c 'public-inbox user manual'
 PODMAN_OPTS += -r public-inbox.git
 podman = $(PODMAN) $(PODMAN_OPTS)
-PODTEXT = pod2text
-PODTEXT_OPTS = --stderr
-podtext = $(PODTEXT) $(PODTEXT_OPTS)
+
+man2text = COLUMNS=80 MANWIDTH=80 TERM=dumb MANOPT='--nj --nh' man
 
 all:: man
 
@@ -105,18 +101,16 @@ doc: $(docs)
 
 gz-doc: $(gz_docs)
 
-gz-xdoc: $(gz_xdocs)
-
 rsync-doc: NEWS.atom.gz
        # /usr/share/doc/rsync/scripts/git-set-file-times{.gz} on Debian systems
        # It is also at: https://yhbt.net/git-set-file-times
        -git set-file-times $(docs) $(txt)
-       $(MAKE) gz-doc gz-xdoc
-       $(RSYNC) --chmod=Fugo=r -av $(rsync_docs) $(rsync_xdocs) $(RSYNC_DEST)
+       $(MAKE) gz-doc
+       $(RSYNC) --chmod=Fugo=r -av $(rsync_docs) $(RSYNC_DEST)
 
 clean-doc:
        $(RM_F) $(man1) $(man5) $(man7) $(man8) $(gz_docs) $(docs_html) \
-               $(mantxt) $(rsync_xdocs) \
+               $(mantxt) \
                NEWS NEWS.atom NEWS.html Documentation/standards.txt \
                Documentation/flow.html Documentation/flow.html.gz \
                Documentation/flow.txt.gz