nil -> proglist; ;;; prevent compilation
$poplocal/local/rcmenu/menus/menuindex.p
Files in $poplocal/local/rcmenu/menus
menu_case.p       menu_compiling.p  menu_control.p    menu_delete.p
menu_dired.p      menu_editor.p     menu_index.p      menuindex.p
menu_keys.p       menu_latex.p      menu_mail.p       menu_mark.p
menu_move.p       menu_news.p       menu_nudge.p      menu_print.p
menu_search.p     menu_teach.p      menu_toplevel.p   menu_unix.p
menu_user.p       menu_utilities.p  menu_vedblocks.p  menu_vedprops.p
menu_xvedfonts.p  menu_xved.p