If you know the size of the gif in pixels, you can set the number of dots per inch to print.