Gunnsteinn Þórisson Gussi

## make_favicon.sh
#!/bin/sh
# Generate bunch of favicons

if [ $# -ne 1 ]; then
	echo USAGE: $0 favicon-original.png
	exit 1
fi

ORIGINAL=$1
	#!/bin/sh
	# Generate bunch of favicons

	if [ $# -ne 1 ]; then
	echo USAGE: $0 favicon-original.png
	exit 1
	fi

	ORIGINAL=$1