#This file generated by Makefileamgen.sh
EXTRA_DIST = alert.gif arrow.gif bkd.gif bkd2.gif bulb.gif bullet.gif closure1.png error_handling.png intro1.png intro2.png intro3.png intro4.png intro5.png intro6.png intro7.png l_arr.gif l_arr_disabled.gif lens.gif note.gif organization1.png r_arr.gif r_arr_disabled.gif rule1.png scanner1.png spirit.gif style.css subrule1.png trees1.png trees2.png trees3.png trees4.png u_arr.gif
html_DATA = $(EXTRA_DIST)
htmldir = $(prefix)/libs/spirit/theme