about summary refs log tree commit homepage
path: root/Documentation/include.mk
diff options
authorEric Wong <e@80x24.org>2021-11-03 21:01:21 +0000
committerEric Wong <e@80x24.org>2021-11-04 03:29:33 +0000
commit0b73ad048e715065efc3ed3eb1c376e945957693 (patch)
treeb0c3fa1fe372448817f4b028c2214be96645ad9c /Documentation/include.mk
parent59f48f29b59a941acc620cef1062e7249b92c528 (diff)
curl, torsocks, and gitglossary manpages are all newly
referenced, so make sure they're linkified properly in HTML.
We'll be using Debian's manpages as an ad-free, Tor-accessible
host for manpages as a fallback since hosting manpages for all
3rd-party projects we reference doesn't scale.
Diffstat (limited to 'Documentation/include.mk')
1 files changed, 3 insertions, 5 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk
index 149f9e3c..af5f7f24 100644
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -105,18 +105,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)
         $(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 \