Animated GIFs and ivtools drawing editors

Animated GIFs can be generated from the ivtools flipbook editor using the print dialog box with "pipe to command" checked and a command line for mkgif89a.bash filled in at the top. Do not supply the last argument, the filename, to mkgif89a, because that will be provided by the dialog box.

up to things to do with ivtools drawing editors