mkcolors

#! /bin/sh

sed -E -e '
/^\s*colors\./!d
s/^[[:space:]]*colors\.([^[:space:]]+)[[:space:]]*=[[:space:]]*\[[[:space:]]*([0-9.]+)[[:space:]]+([0-9.]+)[[:space:]]+([0-9.]+)[[:space:]]*\][[:space:]]*;[[:space:]]*$/\\definecolor{color\1}{rgb}{\2, \3, \4}/
'