#!/bin/sh
GICONDIR16=/usr/share/icons/gnome/16x16/actions

convert $GICONDIR16/help-about.png	about.gif
convert $GICONDIR16/process-stop.png	close.gif
convert $GICONDIR16/edit-copy.png	copy.gif
convert $GICONDIR16/edit-cut.png	cut.gif
convert $GICONDIR16/edit-delete.png	delete.gif
convert $GICONDIR16/document-open.png	open.gif
convert $GICONDIR16/edit-paste.png	paste.gif
convert $GICONDIR16/document-print.png	print.gif
convert $GICONDIR16/document-save.png	save.gif
