#!/bin/csh
#
#  Generate kernel database from existing kernels
kerneldbgen to='kernels.????.db' type=SPK \
            recondir='$Clementine1/kernels/spk' \
            reconfilter='*.bsp' \
            lsk='$base/kernels/lsk/naif????.tls'