diff options
author | Eric Wong <e@80x24.org> | 2021-11-03 21:01:21 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-11-04 03:29:33 +0000 |
commit | 0b73ad048e715065efc3ed3eb1c376e945957693 (patch) | |
tree | b0c3fa1fe372448817f4b028c2214be96645ad9c /Documentation/include.mk | |
parent | 59f48f29b59a941acc620cef1062e7249b92c528 (diff) | |
download | public-inbox-0b73ad048e715065efc3ed3eb1c376e945957693.tar.gz |
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')
-rw-r--r-- | Documentation/include.mk | 8 |
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) 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 |