#!/bin/sh
# $Id$

echo '/* This file is generated from '$1'; do not edit */'

cat $1 |
sed '
	s/..//
	s/.*/	"&",/
'