var snSrc;
if (window.__smartNav == null)
{
window.__smartNav = new Object();
window.__smartNav.update = function()
{
var sn = window.__smartNav;
var fd;
do
# $Id: generic.m4,v 8.5 1999/05/24 18:38:33 rand Exp $
# dependencies
# give a null "depend" list so that the startup script will work
depend:
# End of $RCSfile: generic.m4,v $
