#!/bin/sh
# $Id: config,v 1.3 2003-01-29 22:23:52 robert Exp $
set -e

[ -r /usr/share/debconf/confmodule ] || exit 0

. /usr/share/debconf/confmodule


if [ -x /usr/bin/index++ ] && ! [ -e /var/cache/man2html/man2html.swish++.index ]; then
	db_input low man2html/index_manpages || true
	db_go || true
fi
