Current: /usr/share/man/man1/gif2h5.1.gz

New name: