Provided by: libming-util_0.4.5-1.2ubuntu7_amd64 
NAME
gif2dbl - convert a gif file to an dbl file using a RGB palette
SYNOPSIS
gif2dbl <file.gif>
DESCRIPTION
gif2dbl is a command line tool for converting a gif file into a dbl file. Output is written to file.dbl.
H OPTIONS
<file.gif>
Name of gif format file to use as input.
AUTHOR
Written by Raffaele Sena (raff@aromatic.org)
COPYRIGHT
Code is released under the GNU GPL license.
25 Nov 2009 gif2dbl(1)