diff options
author | Eric Wong <e@80x24.org> | 2024-01-09 11:39:24 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2024-01-10 10:26:56 +0000 |
commit | 4c2fc911c858812aa3c009117787389f95622247 (patch) | |
tree | 49f7d328c04bfaf6d4a165083f6e657a90cec226 /Documentation | |
parent | c3991bba13a63a40391cfcdeace638a50bcc1c0c (diff) | |
download | public-inbox-4c2fc911c858812aa3c009117787389f95622247.tar.gz |
I noticed the HTML manpages didn't have -extindex linkification while checking over the docs. While adding it, I also noticed -config(5) had two entries :x
Diffstat (limited to 'Documentation')
-rwxr-xr-x | Documentation/txt2pre | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/txt2pre b/Documentation/txt2pre index 89a77199..b45c52e8 100755 --- a/Documentation/txt2pre +++ b/Documentation/txt2pre @@ -53,10 +53,10 @@ for (qw[lei(1) public-inbox-cindex(1) public-inbox-clone(1) public-inbox-config(5) - public-inbox-config(5) public-inbox-convert(1) public-inbox-daemon(8) public-inbox-edit(1) + public-inbox-extindex(1) public-inbox-fetch(1) public-inbox-glossary(7) public-inbox-httpd(1) |