flipselector:preview-00.png:widget_preview_flipselector:100:60 \
hoversel:preview-00.png:widget_preview_hoversel:90:170 \
hover:preview-00.png:widget_preview_hover:90:170 \
- anchorview:preview-00.png:widget_preview_anchorview:100:30 \
- anchorblock:preview-00.png:widget_preview_anchorblock:100:30 \
- pager:preview-00.png:widget_preview_pager:100:100 \
separator:preview-00.png:widget_preview_separator:10:80 \
radio:preview-00.png:widget_preview_radio:60:20 \
- toggle:preview-00.png:widget_preview_toggle:150:30 \
panel:preview-00.png:widget_preview_panel:150:50 \
gengrid:preview-00.png:widget_preview_gengrid:200:160 \
genlist:preview-00.png:widget_preview_genlist1:200:200 \
BIN=$${ENTRY[2]} ; \
X=$${ENTRY[3]} ; \
Y=$${ENTRY[4]} ; \
+ echo "generating widget preview image" $${SS} "for widget" $${DIR}; \
$(top_srcdir)/doc/shot.sh $(top_builddir)/doc/html/img/widget/$${DIR} $${SS} $(top_builddir)/doc/widgets/$${BIN} $${X} $${Y} ; \
mkdir -p $(top_builddir)/doc/latex/img/widget/$${DIR} ; \
convert $(top_builddir)/doc/html/img/widget/$${DIR}/$${SS} $(top_builddir)/doc/latex/img/widget/$${DIR}/$${SS/.png/.eps} ; \