#!	/bin/csh -f
#
# Copyright 1993, 1994, 1995 by the Regents of the University of California.
# see the file "Copyright" in the distribution for conditions of use.
#
#
#	would like to just do "menu -tree ..." but this may not
#	be the default menu & may print wrong tree
#
set x = `printenv MENU_LIB | sed -e 's;/lib$;;'`
setenv MENU_DIR $x
menu -t | $PAGER
