;
; this one converts all *.iff files of the directory src_docs/image/
; to *.gif files in docs/image/
;
; it is not envoked automatically after updating any of the *.iff files
; because i know too less about makefiles to perform that task.
;
; NOTE: an "iff2gif"-tool is NOT included in this distribition.
;
list image/#?.iff nohead quick lformat="iff2gif image/%n /docs/%p%m.gif" >t:conv_img
execute t:conv_img
delete t:conv_img quiet
echo "images converted to *.gif"

