diff --git a/doc/man-pages/generate-html b/doc/man-pages/generate-html
index 9bde41b7ad..610a7db03c 100755
--- a/doc/man-pages/generate-html
+++ b/doc/man-pages/generate-html
@@ -59,6 +59,24 @@ $Pod::Simple::HTML::Tagmap{'/item-bullet'} = '';
$Pod::Simple::HTML::Tagmap{'item-number'} = '';
$Pod::Simple::HTML::Tagmap{'/item-number'} = '
';
+# This horrific hack is required because Pod::Simple::HTMLBatch has no way
+# of setting search options and we have to set laborious to true in order
+# to pick up man pages like krb.conf(5).
+package OpenAFS::Search;
+
+use strict;
+use vars qw(@ISA);
+
+use Pod::Simple::Search;
+@ISA = qw(Pod::Simple::HTML);
+
+sub new {
+ my $class = shift;
+ my $object = Pod::Simple::Search->new;
+ $object->laborious (1);
+ return $object;
+}
+
package main;
use strict;
@@ -66,6 +84,9 @@ use strict;
use File::Copy;
use Pod::Simple::HTMLBatch;
+# Override the search class to set laborious.
+$Pod::Simple::HTMLBatch::SEARCH_CLASS = 'OpenAFS::Search';
+
our $HEADER = <<'EOH';