Usage: 

$ dot -Tgif input.dot

GIF

Graphics Interchange Format

Outputs images in GIF format.

Last modified March 9, 2024: Rename output 'params' field so it works with latest Hugo (1cdaa8c)