diff options
author | Eric Wong <e@80x24.org> | 2023-09-08 13:09:05 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-09-08 20:43:20 +0000 |
commit | 97f1ee0a38966eaeddf78577d1ba8d75afb951ab (patch) | |
tree | a7617456b1b9056009d40c4ed6604ff0410a0e45 /Documentation | |
parent | 7a0f5c42a8e22a01c076ef38204d3ee9fa8b3af2 (diff) | |
download | public-inbox-97f1ee0a38966eaeddf78577d1ba8d75afb951ab.tar.gz |
Since -cindex uses the xapian-delve(1) command for `--prune' functionality, we'll rename our `xapian-compact' dependency to the Debian package name (xapian-tools) since `xapian-delve' is in the same package.
Diffstat (limited to 'Documentation')
-rwxr-xr-x | Documentation/txt2pre | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/txt2pre b/Documentation/txt2pre index 62175f34..c258a90e 100755 --- a/Documentation/txt2pre +++ b/Documentation/txt2pre @@ -147,6 +147,8 @@ $xurls{'copydatabase(1)'} = 'https://manpages.debian.org/stable/xapian-tools/copydatabase.1.en.html'; $xurls{'xapian-compact(1)'} = 'https://manpages.debian.org/stable/xapian-tools/xapian-compact.1.en.html'; +$xurls{'xapian-delve(1)'} = + 'https://manpages.debian.org/stable/xapian-tools/xapian-delve.1.en.html'; $xurls{'gzip(1)'} = 'https://manpages.debian.org/stable/gzip/gzip.1.en.html'; $xurls{'chmod(1)'} = 'https://manpages.debian.org/stable/coreutils/chmod.1.en.html'; |