#! /bin/sh

LANG=$1

echo "<!-- This file is generated.  Please do not edit. -->"
grep "^$LANG/ \|^$LANG*/ \|^..[^/*]\|^ *$" |\
 sed "s|^$LANG/ ||" |\
 sed "s|^$LANG*/ ||"
