EXTRA_DIST = \
bookmark.xpm \
bookmark_menu.xpm \
bracket_match.xpm \
clear_menu.xpm \
close_all.xpm \
close_menu.xpm \
colors_menu.xpm \
compile_menu.xpm \
compile_toolbar.xpm \
debug_menu.xpm \
debug_toolbar.xpm \
execute_menu.xpm \
goto_line.xpm \
new_menu.xpm \
next_bookmark.xpm \
next_file.xpm \
open_menu.xpm \
prefs_menu.xpm \
prev_bookmark.xpm \
prev_file.xpm \
print_menu.xpm \
props_menu.xpm \
regenerate.xpm \
rehighlight.xpm \
revert_menu.xpm \
save_all.xpm \
save_menu.xpm \
saveas_menu.xpm \
search_menu.xpm \
select_all.xpm \
select_line.xpm \
selection.xpm \
window.xpm