gif2hdf - convert a GIF image to a HDF file
gif2hdf input_hdf_file output_gif_file
gif2hdf converts a GIF image to a HDF file.
hdf(5), hdf2gif(1) January 18, 2001