#!/usr/bin/env bash
set -eu
input=$1
output=$2
cp "$input" "$output"
echo "# generated" >> "$output"
