about summary refs log tree commit homepage
path: root/Documentation
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2023-09-08 13:09:05 +0000
committerEric Wong <e@80x24.org>2023-09-08 20:43:20 +0000
commit97f1ee0a38966eaeddf78577d1ba8d75afb951ab (patch)
treea7617456b1b9056009d40c4ed6604ff0410a0e45 /Documentation
parent7a0f5c42a8e22a01c076ef38204d3ee9fa8b3af2 (diff)
downloadpublic-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-xDocumentation/txt2pre2
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';