#!/bin/sh
##############################################################################
# $Id: create_windex,v 1.1 2002/03/21 19:03:47 root Exp $
##############################################################################
# Build man page index
##############################################################################
# $Log: create_windex,v $
# Revision 1.1  2002/03/21 19:03:47  root
# Initial revision
#
##############################################################################

echo
echo "Start of $0"
echo '  $Id: create_windex,v 1.1 2002/03/21 19:03:47 root Exp $'

BASE=/a

echo "  Creating man page index (windex)"
chroot $BASE /usr/bin/catman -w

# Probably ought to put in a cron job to do this once a week...

echo "End of $0"