#!/bin/sh
if [ -e /usr/local/man ]; then
	LOCALMAN=$(find /usr/local/man -type d | grep -v "^/usr/local/man$")
fi
glimpseindex -z -H /var/cache/man2html \
	/usr/share/man/man* \
	/usr/man/man* \
	/usr/X11R6/man/man* $LOCALMAN
chmod ugo+r /var/cache/man2html/.glimpse*
