Usage: 

$ dot -Tgif input.dot

GIF

Graphics Interchange Format

Outputs images in GIF format.

Last modified September 17, 2022: Update gif.md: link to wikipedia (6c8bc8c)