diff options
author | Eric Wong <e@80x24.org> | 2020-09-17 21:25:22 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2020-12-26 19:29:17 +0000 |
commit | 64f7ab3a571b9db08d27d258f3066822fd2667bb (patch) | |
tree | e0866fb090f2e93223b8615d8f82526543316187 | |
parent | 915e01b9cd771a84eaa8301bac7c0d2219b6a7a5 (diff) | |
download | public-inbox-64f7ab3a571b9db08d27d258f3066822fd2667bb.tar.gz |
We host our own -imapd manpage, and we started using a few more git commands (fast-import for ages). We'll also need to link to manpages.debian.org and live with long URLs for a few non-standard manpages in software we reference. (cherry picked from commit 31065006a3654968c0c4bbfe2d7399a3b326ce18)
-rwxr-xr-x | Documentation/txt2pre | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/txt2pre b/Documentation/txt2pre index e9b5eb7d..75d2d12b 100755 --- a/Documentation/txt2pre +++ b/Documentation/txt2pre @@ -17,6 +17,7 @@ for (qw[public-inbox.cgi(1) public-inbox-daemon(8) public-inbox-edit(1) public-inbox-httpd(1) + public-inbox-imapd(1) public-inbox-index(1) public-inbox-init(1) public-inbox-learn(1) @@ -48,7 +49,9 @@ for (qw[git(1) git-am(1) git-apply(1) git-config(1) + git-credential(1) git-daemon(1) + git-fast-import(1) git-fetch(1) git-filter-branch(1) git-format-patch(1) @@ -73,6 +76,11 @@ for (qw[ $xurls{$_} = "https://www.freedesktop.org/software/systemd/man/$n.html"; } +$xurls{'netrc(5)'} = 'https://manpages.debian.org/stable/ftp/netrc.5.en.html'; +$xurls{'mbsync(1)'} = + 'https://manpages.debian.org/stable/isync/mbsync.1.en.html'; +$xurls{'offlineimap(1)'} = + 'https://manpages.debian.org/stable/offlineimap/offlineimap.1.en.html'; $xurls{'spamc(1)'} = 'https://spamassassin.apache.org/full/3.4.x/doc/spamc.html'; $xurls{'grok-pull'} = |