#! /bin/sh

cat << """
/* File created from flex.skl via mkskel.sh */

#include "flexdef.h"

const char *skel[] = {
"""

sed 's/\\/&&/g' $ifsjoin(Argv) | sed 's/"/\\"/g' | sed 's/.*/  "&",/'

cat << """
  0
};
"""