gif-tools: no-manual-page [usr/bin/gif-editor]
gif-tools: no-manual-page [usr/bin/gif-recorder]
