#!/bin/csh

/bin/rm -f help/menubuttons

echo "HELP MENUBUTTONS                             (Automatically Generated)"\
    > help/menubuttons
set d = `date`

echo "                                          $d" \
    >> help/menubuttons

echo "" >> help/menubuttons

echo "Sample Menu Button Entries (from the menu library)" \
    >> help/menubuttons
echo "These may be copied and used in your own menus e.g. in ~/vedmenus" \
    >> help/menubuttons
echo "See HELP * VED_MENU, TEACH * VED_MENU" \
    >> help/menubuttons
echo "" >> help/menubuttons

echo "Use the ENTER indexify command to create an index" \
    >> help/menubuttons
echo "" >> help/menubuttons

foreach file (menus/*.p)
    echo "-- MENU DEFINITION FILE $file" >> help/menubuttons
    echo "" >> help/menubuttons
    cat $file >> help/menubuttons
    echo "" >> help/menubuttons
end
