#!/bin/sh -e

for FILE in $*
do
  echo "$FILE\"" | sed 's%src/%#include "%'
done
