#!/bin/bash
set -e

cp doc/copyright debian/