#!/bin/sh
# $Id$
echo '/* This file is generated from '$1'; do not edit */'
cat $1 |
sed '
s/..//
s/.*/ "&",/
'